Module theory

Wasm bindings for double theories.

Structs

DblTheory

Wasm binding for a double theory.

MorTypeIndex

Mapping from morphism types to numerical indices.

ObTypeIndex

Mapping from object types to numerical indices.

Enums

DblTheoryBox

A box containing a double theory of any kind.