Crate kocheck[−][src]
Modules
| par | Parallel event processing. |
| seq | Sequential event processing. |
Structs
| Opt | A typechecker for the lambda-Pi calculus modulo rewriting |
| ParseBuffer | Buffered parsing of a sequence of items. |
| PathRead | Combination of a module path and a corresponding reader. |
Enums
| Error | Central error type. |
| Event | Commands with interspersed module opening. |
Functions
| parse | Produce a stream of commands from given input. |