Crate kocheck

Modules

• process
  Processing of events & files.

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
  A stage in the processing of commands.

Functions

• infer_checks
  Process a stream of commands.