Next: , Previous: Datatype Declarations, Up: User-defined datatypes


7.3.2 Definitions