catlog/dbl/discrete/
mod.rs

1//! Doctrine of discrete double theories.
2
3pub mod model;
4pub mod model_diagram;
5pub mod model_morphism;
6pub mod theory;