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

//! This module contains the code to construct a set automaton.
//!
//! This module does not use unsafe code.
#![forbid(unsafe_code)]

mod automaton;
mod display;
mod match_goal;

pub use automaton::*;
pub(crate) use match_goal::*;

#[allow(unused)]
pub use display::*;