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 |
to | Unbound.LocallyNameless |
toList | Unbound.LocallyNameless |
toR | Unbound.LocallyNameless |
toSortedName | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
toSpine | Unbound.LocallyNameless |
translate | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
Traversal | Unbound.LocallyNameless |
Traversal1 | Unbound.LocallyNameless |
TRec | |
1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.LocallyNameless.Types |
trec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
Typed | Unbound.LocallyNameless |