Unbound.Generics.LocallyNameless.Alpha
class Alpha a
data DisjointSet a
inconsistentDisjointSet
singletonDisjointSet
isConsistentDisjointSet
isNullDisjointSet
data NthPatFind
data NamePatFind
data AlphaCtx
initialCtx
patternCtx
termCtx
isTermCtx
incrLevelCtx
decrLevelCtx
isZeroLevelCtx
gaeq
gfvAny
gclose
gopen
gisPat
gisTerm
gnthPatFind
gnamePatFind
gswaps
gfreshen
glfreshen
gacompare
data FFM f a
liftFFM
retractFFM