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
//! This module contains functionality for additionl constraints around matching
//! such as non-linear left hand sides and conditional rewrite rules.
//!
#![forbid(unsafe_code)]

pub mod conditions;
pub mod nonlinear;