Module model_diagram

Wasm bindings for diagrams in models of a double theory.

Structs

DblModelDiagram

Wasm binding 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

Elaborates a diagram defined by a notebook into a catlog diagram.