trs 0.1.0

Term Rewriting Systems
Documentation 
1
2
3
4
5
6
7
8
9
10

extern crate terms;

use std::collections::HashSet;
use terms::Pattern;

/// Rewriting rule.
pub type Rule<F, X> = (Pattern<F, X>, Pattern<F, X>);

/// Term rewriting system.
pub type TRS<F, X> = HashSet<Rule<F, X>>;