Expand description
This module contains all the different structures representing the various terms of the Type Language.
Structs
A Type Language definition.
Data attached to parameters conditional on flags.
A single parameter, with a name and a type.
The type of a definition or a parameter.
Enums
The category to which a definition belongs.
A parameter type.