catlog/dbl/discrete/
mod.rs

1//! Doctrine of discrete double theories.
2
3pub mod model;
4pub mod model_diagram;
5pub mod model_instance;
6pub mod model_morphism;
7pub mod theory;
8
9pub use model::*;
10pub use model_diagram::*;
11pub use model_instance::*;
12pub use model_morphism::*;
13pub use theory::*;