Data.Rewriting.Substitution

data GSubst v f v'

type Subst f v

Important operations

gApply

apply

compose

Reexported modules