[][src]Type Definition trs::Rule

type Rule<F, X> = (Pattern<F, X>, Pattern<F, X>);

Rewriting rule.