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>>;