Expand description
Wasm bindings for models of a double theory.
Structs§
- DblModel
- Wasm binding of a model of a double theory.
- DblModel
Map - A named collection of models of double theories.
- Model
Validation Result - Result of validating a model of a double theory.
Enums§
- DblModel
Box - A box containing a model of a double theory of any kind.
Functions§
- collect_
product - Collects application of a product operation into a list of objects.
- elaborate_
model - Elaborates a model defined by a notebook into a catlog model.