merc_sabre 1.0.0

Implements a term rewrite engine based on a set automaton based rewriter.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

mod configuration_stack;
mod data_position;
mod data_substitution;
mod innermost_stack;
mod position;
mod substitution;
mod term_stack;

pub use configuration_stack::*;
pub use data_position::*;
pub use data_substitution::*;
pub use innermost_stack::*;
pub use position::*;
pub use substitution::*;
pub use term_stack::*;