Section 4 - The Ropes DSL

The definition for SSN we have so far isn’t very easy to read because of all the nesting of Concats. The DSL module provides symbolic operations to make this sort of thing simpler.

Using it, we can re-write our definition using the +: syntax from the DSL:

import ropes.dsl._
type SSN = Area +: Dash +: Group +: Dash +: Serial