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,
}