Crate kocheck

Modules

par

Parallel event processing.

seq

Structs

Opt

A typechecker for the lambda-Pi calculus modulo rewriting

PathRead

Combination of a module path and a corresponding reader.

Enums

Error

Central error type.

Event

Commands with interspersed module opening.

Stage

Functions

parse