Module model_diagram

Wasm bindings for diagrams in models of a double theory.

Structs

DblModelDiagram

Wasm bindings for a diagram in a model of a double theory.

ModelDiagramValidationResult

Result of validating a diagram in a model.

Enums

DblModelDiagramBox

A box containing a diagram in a model of a double theory.

Functions

elaborate_diagram