Structs§
- DblModel
- Elaborator
- Elaboration is the process of transforming notation (as declared in notebook-types) into syntax and values. This can possibly fail. Eventually, this struct may have some role to play in accumulating errors, but for now it is a singleton.
- Model
Validation Result - Result of validating a model of a double theory.
- Quoter
- Theory
Library
Enums§
- DblModel
Box - A box containing a model of a double theory of any kind.