| A | Unbound.Nominal.Internal |
| a10a | Unbound.Nominal.Internal |
| a10b | Unbound.Nominal.Internal |
| a10c | Unbound.Nominal.Internal |
| a10d | Unbound.Nominal.Internal |
| AC | Unbound.LocallyNameless.Alpha |
| acompare | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| acompare' | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| acompareD | Unbound.LocallyNameless.Alpha |
| acompareR1 | Unbound.LocallyNameless.Alpha |
| aeq | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeq' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| aeq1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqBinders | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeqD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Alpha | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| AlphaCtx | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha |
| AlphaD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Alpha |
| 4 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| AnyName | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Name, Unbound.Nominal |
| 3 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2Integer | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2String | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| apply | Unbound.PermM |
| assert | Unbound.Nominal.Internal |
| avoid | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |