Module grammers_tl_parser::tl

This module contains all the different structures representing the various terms of the Type Language.

Structs

• Definition
  A Type Language definition.
• Flag
  Data attached to parameters conditional on flags.
• 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.
• ParameterType
  A parameter type.