Type specification
Keywords: user-defined data type
Types can be defined as simple type specifications or as constructor type specifications.
Definition:
type_spec := simple_type_spec | constr_type_spec
Types can be defined as simple type specifications or as constructor type specifications.
type_spec := simple_type_spec | constr_type_spec