Modules§
Structs§
- Analysis
- Analysis
Document Content - Diagram
Document Content - Diagram
MorDecl - Declares a morphism of a diagram in a model.
- Diagram
ObDecl - Declares an object of a diagram in a model.
- Link
- Model
Document Content - This is the content of a model document. For legacy reasons, we reserve
the name “ModelDocument” for
Document & { type: "model" }. - MorDecl
- Declares a morphism in a model of a double theory.
- Notebook
- ObDecl
- Declares an object in a model of a double theory.
- Stable
Ref
Enums§
- Analysis
Type - Diagram
Judgment - A judgment in the definition of a diagram in a model.
- Document
- Model
Judgment - Mor
- A morphism in a model of a double theory.
- MorType
- Morphism type in a double theory.
- Notebook
Cell - Ob
- An object in a model of a double theory.
- ObType
- Object type in a double theory.