Module proto_vulcan::prelude [−][src]
Re-exports
pub use crate::compound::CompoundTerm;
pub use crate::engine::DefaultEngine;
pub use crate::engine::Engine;
pub use crate::goal::AnyGoal;
pub use crate::goal::Goal;
pub use crate::lterm::LTerm;
pub use crate::lvalue::LValue;
pub use crate::solver::Solve;
pub use crate::solver::Solver;
pub use crate::state::Constraint;
pub use crate::user::DefaultUser;
pub use crate::user::User;
Macros
Functions
Disjunction operator.