Index - T
| Term | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| term | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| tests_aeq | Unbound.Nominal.Internal |
| tests_big | Unbound.Nominal.Internal |
| tests_fv | Unbound.Nominal.Internal |
| tests_subst | Unbound.Nominal.Internal |
| toSortedName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| translate | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| TRec | |
| 1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| trec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |