Module modal 

Doctrine of modal double theories.

Re-exports

pub use model::*;

pub use theory::*;

Modules

model

Models of modal double theories.

theory

Modal double theories.