catlog/dbl/modal/
mod.rs

1//! Doctrine of modal double theories.
2
3pub mod model;
4pub mod theory;