Expand description
Wasm bindings for double theories.
Structs§
- DblTheory
- Wasm bindings for a double theory.
- MorType
Index - Mapping from morphism types to numerical indices.
- ObType
Index - Mapping from object types to numerical indices.
Enums§
- DblTheory
Box - A box containing a double theory of any kind.
- MorType
- Morphism type in a double theory.
- ObType
- Object type in a double theory.