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