1mod error; 2pub mod predicate; 3pub mod proposition; 4 5pub use predicate::{Bound, Predicate}; 6pub use proposition::Proposition;