Expand description
Doctrine of discrete double theories.
Re-exports§
pub use model::*;pub use model_diagram::*;pub use model_morphism::*;pub use theory::*;
Modules§
- model
- Models of discrete double theories.
- model_
diagram - Diagrams in models of a discrete double theory.
- model_
morphism - Morphisms between models of a discrete double theory.
- theory
- Discrete double theories.