B | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Types |
big1 | Unbound.Nominal.Internal |
big2 | Unbound.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 |
binders1 | Unbound.Nominal.Internal |
bindersAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
bindersD | Unbound.Nominal.Internal |
bindersR1 | Unbound.Nominal.Internal |
Bn | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |