Expand description
Doctrine of modal double theories.
Re-exports§
pub use model::*;pub use model_instance::*;pub use theory::*;
Modules§
- model
- Models of modal double theories.
- model_
instance - Instances of models of a modal double theory.
- theory
- Modal double theories.