Re-exports§
Modules§
Structs§
- Analysis
- Diagram
MorDecl - Declares a morphism of a diagram in a model.
- Diagram
ObDecl - Declares an object of a diagram in a model.
- Instantiated
Model - Instantiates an existing model into the current model.
- Link
- A link from one document to another.
- MorDecl
- Declares a morphism in a model of a double theory.
- ObDecl
- Declares an object in a model of a double theory.
- Specialize
Model - A specialization of a generating object in an instantiated model.
- Stable
Ref - A stable reference to a document in the database.
Enums§
- Diagram
Judgment - A judgment defining part of a diagram in a model.
- Link
Type - Type of link between documents.
- Modality
- Modality available in a modal double theory.
- Model
Judgment - A judgment defining part of a model of a double theory.
- 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.
- ObOp
- Object operation in a double theory.
- ObType
- Object type in a double theory.