| s2n | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Shift | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| single | Unbound.PermM |
| singleton | Unbound.Util, Unbound.LocallyNameless |
| string2Name | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Subst | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| subst | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| SubstD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Subst |
| 4 (Data Constructor) | Unbound.LocallyNameless.Subst |
| substD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substDefault | Unbound.LocallyNameless.Subst |
| SubstName | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substs | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| support | Unbound.PermM |
| swapall' | Unbound.Nominal.Internal, Unbound.Nominal |
| swapallD | Unbound.Nominal.Internal |
| swapallR1 | Unbound.Nominal.Internal |
| swaps | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swaps' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| swapsBinders | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| swapsEmbeds | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |