1//! Doctrine of modal double theories. 2 3pub mod model; 4pub mod model_instance; 5pub mod theory; 6 7pub use model::*; 8pub use model_instance::*; 9pub use theory::*;