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

Index - B

B 
1 (Data Constructor)Unbound.Nominal.Internal
2 (Data Constructor)Unbound.LocallyNameless.Types
big1Unbound.Nominal.Internal
big2Unbound.Nominal.Internal
Bind 
1 (Type/Class)Unbound.Nominal.Internal, Unbound.Nominal
2 (Type/Class)Unbound.LocallyNameless.Types, Unbound.LocallyNameless
bind 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
binders 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
binders'Unbound.Nominal.Internal, Unbound.Nominal
binders1Unbound.Nominal.Internal
bindersAnyUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
bindersDUnbound.Nominal.Internal
bindersR1Unbound.Nominal.Internal
BnUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types