Data.Rewriting.Context

data Ctxt f v

Important operations

ofTerm

apply

Reexported modules