trs/
lib.rs

1extern crate terms;
2
3use std::collections::HashSet;
4use terms::Pattern;
5
6/// Rewriting rule.
7pub type Rule<F, X> = (Pattern<F, X>, Pattern<F, X>);
8
9/// Term rewriting system.
10pub type TRS<F, X> = HashSet<Rule<F, X>>;