Module engine 

Structs

Context

Ordered store of specs keyed by (repository, name) and grouped into LemmaSpecSets.

Engine

Engine for evaluating Lemma rules.

Errors

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

ResolvedRepository

A loaded repository with all its spec sets.

Constants

EMBEDDED_STDLIB_REPOSITORY

Repository name reserved for the embedded standard library (repo lemma, spec si). User Engine::load / Engine::load_batch must not target this name.

Functions

collect_lemma_sources

Collect .lemma source texts from filesystem paths (paths and one-level directories). Does not touch an Engine; pair with Engine::load / Engine::load_batch.