Expand description
Wasm bindings for models of double theories.
Structs§
- DblModel
- Wasm bindings for a model of a double theory.
- Model
Validation Result - Result of validating a model of a double theory.
- MorDecl
- Declares a morphism in a model of a double theory.
- ObDecl
- Declares an object in a model of a double theory.
Enums§
- DblModel
Box - A box containing a model of a double theory of any kind.
- Mor
- A morphism in a model of a double theory.
- Ob
- An object in a model of a double theory.