| R | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| rAnyName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rAnyName1 | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rBind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rBind1 | Unbound.Nominal.Internal |
| Rebind | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| Rec | |
| 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 |
| rec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| rEmbed | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rEmbed1 | Unbound.Nominal.Internal |
| reopen | Unbound.Nominal.Internal, Unbound.Nominal |
| resetNext | Unbound.Nominal.Internal, Unbound.Nominal |
| restrict | Unbound.PermM |
| rExp | Unbound.Nominal.Internal |
| rExp1 | Unbound.Nominal.Internal |
| rName | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rName1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rR | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rRebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRebind1 | Unbound.Nominal.Internal |
| rRec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRec1 | Unbound.Nominal.Internal |
| rShift | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rShift1 | Unbound.Nominal.Internal |
| runFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runLFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runLFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runNthCont | Unbound.LocallyNameless.Alpha |