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
16
17
#![doc = include_str!("../README.md")]

mod innermost_rewriter;
mod matching;
mod naive_rewriter;
mod rewrite_specification;
mod sabre_rewriter;
mod set_automaton;

pub mod utilities;
pub mod test_utility;

pub use innermost_rewriter::*;
pub use naive_rewriter::*;
pub use rewrite_specification::*;
pub use sabre_rewriter::*;
pub use set_automaton::*;