Expand description
This module contains all the different structures representing the various terms of the Type Language.
Structs§
- Definition
- A Type Language definition.
- Parameter
- A single parameter, with a name and a type.
- Type
- The type of a definition or a parameter.
Enums§
- Category
- The category to which a definition belongs.