1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
mod atom; mod rule; mod signature; mod term; mod trs; pub use self::atom::*; pub use self::rule::*; pub use self::signature::*; pub use self::term::*; pub use self::trs::*; /// Represents a place in a [`Term`]. /// /// [`Term`]: enum.Term.html pub type Place = Vec<usize>; /// A way of signifying what type of unification is being performed #[derive(PartialEq, Eq)] enum Unification { Match, Unify, }