Term.Rewriting.Definitions

Equalities

data Equal a

evalEqual

Matching problems

data Match a

flattenMatch

matchWith

matchOnlyIf

Rewriting rules

data RRule a