Modules
Processing of events & files.
Structs
A typechecker for the lambda-Pi calculus modulo rewriting
Combination of a module path and a corresponding reader.
Enums
Central error type.
Commands with interspersed module opening.
A stage in the processing of commands.
Functions
Process a stream of commands.