Re-exports§
pub use database::CompiledDatabase;pub use index::PredicateIndex;pub use parser::Parser;pub use solver::Solution;pub use solver::Solver;pub use term::AtomId;pub use term::Clause;pub use term::FirstArgKey;pub use term::StringInterner;pub use term::Term;pub use term::VarId;pub use tokenizer::Token;pub use tokenizer::TokenKind;pub use tokenizer::Tokenizer;pub use unify::Substitution;