Data.Rewriting.HigherOrder
class Bind r
data VAR a
data LAM a
data APP a
fresh
mkLam
app
type OneToOne a b
oEmpty
oMember
oMemberEither
oLookupL
oInsert
getAnn
type AlphaEnv
matchM
alphaEq
solveTermAlpha
solveSubstAlpha
match
annFreeVars
type Aliases
initAliases
rename
renameNaive
lookAlias
substitute
rewrite
applyFirst
prepare
stripAnn
rewriteWith