Module engine 

Structs

Context

Ordered set of specs grouped into LemmaSpecSets by name.

Engine

Engine for evaluating Lemma rules.

Errors

Load failure: errors plus the source files we attempted to load.

Enums

SourceType

How a single buffer is identified in parse/plan diagnostics and the engine source map.