Structs§
- Context
- Ordered set of specs with temporal versioning.
- Engine
- Engine for evaluating Lemma rules.
- Errors
- Load failure: errors plus the source files we attempted to load.
Enums§
- Source
Type - How a single buffer is identified in parse/plan diagnostics and the engine source map.