mod error;
pub mod predicate;
pub mod proposition;

pub use predicate::{Bound, Predicate};
pub use proposition::Proposition;