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.

DiagramMorDecl

Declares a morphism of a diagram in a model.

DiagramObDecl

Declares an object of a diagram in a model.

ModelDiagramValidationResult

Result of validating a diagram in a model.

Enums

DblModelDiagramBox

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