Provided SDL constructions for defining types
Restricting variation domain
- Use of the SYNTYPE construct
Creating enumerated types
- Use of the LITERALS construct
Creating arrays, lists and sets
- Use of predefined GENERATOR constructs
Creating records
- Use of the STRUCT construct