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



7.3.2 Definitions