Data.Comp.TermRewriting

type RPS f g

type Var

type Rule f g v

type TRS f g v

type Step t

type BStep t

matchRule

matchRules

appRule

appTRS

bStep

parTopStep

parallelStep

reduce