Re-exports§
pub use v1::analysis;pub use v1::api;pub use v1::diagram_judgment;pub use v1::model;pub use v1::model_judgment;pub use v1::path;pub use v1::theory;pub use cell::*;pub use document::*;pub use notebook::*;
Modules§
Structs§
- Analysis
- Diagram
EqnDecl - Declares an equation in a diagram in a model of a double theory.
- Diagram
MorDecl - Declares a morphism of a diagram in a model.
- Diagram
ObDecl - Declares an object of a diagram in a model.
- EqnDecl
- Declares an equation in a model of a double theory.
- 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.
- Ob
- An object in a model of a double theory.
- ObOp
- Object operation in a double theory.
- ObType
- Object type in a double theory.