Data.Rewriting.Problem.Type

data StartTerms

data Strategy

data RulesPair f v

data Problem f v

data Theory f v

allRules