Modules

Errors that can occur during the parsing of Type Language definitions.

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

Structs

Functions

Parses a file full of Type Language definitions.