Database.Algebra.Rewrite.Rule

type Rule o p e

type RuleSet o p e

applyRuleSet