Index - R
| Ren | |
| 1 (Type/Class) | Language.Nominal.Unify, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Unify, Language.Nominal |
| ren | Language.Nominal.Unify, Language.Nominal |
| renExtend | Language.Nominal.Unify, Language.Nominal |
| renFromList | Language.Nominal.Unify, Language.Nominal |
| renNub | Language.Nominal.Unify, Language.Nominal |
| renRemoveBlock | Language.Nominal.Unify, Language.Nominal |
| renToList | Language.Nominal.Unify, Language.Nominal |
| repeatedly | Language.Nominal.Utilities |
| reRes | Language.Nominal.Nom, Language.Nominal |
| res | Language.Nominal.Nom, Language.Nominal |
| resApp | Language.Nominal.Binder, Language.Nominal |
| resAppC | Language.Nominal.Binder, Language.Nominal |
| resAppC' | Language.Nominal.Binder, Language.Nominal |
| resMay | Language.Nominal.Binder, Language.Nominal |
| resN | Language.Nominal.Nom, Language.Nominal |
| Restrict | Language.Nominal.NameSet, Language.Nominal |
| restrict | Language.Nominal.NameSet, Language.Nominal |
| restrictN | Language.Nominal.NameSet, Language.Nominal |
| Ret | |
| 1 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 2 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| reverseTxsOf | Language.Nominal.Examples.IdealisedEUTxO |
| rewrite | Language.Nominal.Utilities |
| runEvFun | Language.Nominal.Equivar, Language.Nominal |
| runViaSMonad | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |