| naeq | Unbound.Nominal.Internal |
| Name | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name1 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name10 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name11 | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| name2 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name2Integer | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name2String | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name3 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name4 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name5 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name6 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name7 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name8 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name9 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| nameA | Unbound.Nominal.Internal |
| nameB | Unbound.Nominal.Internal |
| nameC | Unbound.Nominal.Internal |
| NamesSeen | Unbound.LocallyNameless.Alpha |
| nextInteger | Unbound.Nominal.Internal, Unbound.Nominal |
| Nm | |
| 1 (Data Constructor) | Unbound.Nominal.Name |
| 2 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| NthCont | |
| 1 (Type/Class) | Unbound.LocallyNameless.Alpha |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| nthName | Unbound.LocallyNameless.Alpha |
| nthpat | Unbound.LocallyNameless.Alpha |
| nthpatD | Unbound.LocallyNameless.Alpha |
| nthpatL | Unbound.LocallyNameless.Alpha |
| nthpatR1 | Unbound.LocallyNameless.Alpha |
| nthpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| NthResult | Unbound.LocallyNameless.Alpha |