1//! Double category theory and two-dimensional categorical logic. 2 3pub mod category; 4pub mod graph; 5pub mod tree; 6pub mod tree_algorithms; 7 8pub mod model; 9pub mod model_diagram; 10pub mod model_morphism; 11pub mod theory;