unbound-0.2: Generic support for programming with names and binders

Index - E

Embed 
1 (Type/Class)Unbound.Nominal.Internal, Unbound.Nominal
2 (Data Constructor)Unbound.Nominal.Internal, Unbound.Nominal
3 (Type/Class)Unbound.LocallyNameless.Types, Unbound.LocallyNameless
4 (Data Constructor)Unbound.LocallyNameless.Types, Unbound.LocallyNameless
emptyUnbound.PermM
emptyCUnbound.Util, Unbound.LocallyNameless
emptyNEUnbound.Nominal.Internal
ExpUnbound.Nominal.Internal