Unbound.Generics.LocallyNameless.Operations
aeq
acompare
fvAny
fv
freshen
lfreshen
swaps
data Bind p t
bind
unbind
lunbind
unbind2
lunbind2
unbind2Plus
data Rebind p1 p2
rebind
unrebind
data Embed t
class IsEmbed e
embed
unembed
data Rec p
rec
unrec
data TRec p
trec
untrec
luntrec