| RecBottom | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| RecBottomE | Language.Rzk.Free.Syntax |
| RecBottomF | Language.Rzk.Free.Syntax |
| RecBottomT | Language.Rzk.Free.Syntax |
| recBottomT | Rzk.TypeCheck |
| RecBottomTE | Language.Rzk.Free.Syntax |
| RecOr | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| recOr | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| RecOrE | Language.Rzk.Free.Syntax |
| RecOrF | Language.Rzk.Free.Syntax |
| RecOrT | Language.Rzk.Free.Syntax |
| recOrT | Rzk.TypeCheck |
| RecOrTE | Language.Rzk.Free.Syntax |
| Refl | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| ReflE | Language.Rzk.Free.Syntax |
| ReflF | Language.Rzk.Free.Syntax |
| ReflT | Language.Rzk.Free.Syntax |
| reflT | Rzk.TypeCheck |
| ReflTE | Language.Rzk.Free.Syntax |
| ReflTerm | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ReflTermType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| refreshVar | Language.Rzk.Free.Syntax |
| render | Language.Rzk.Syntax.Print |
| replicateS | Language.Rzk.Syntax.Print |
| resolveLayout | Language.Rzk.Syntax.Layout |
| Restriction | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Restriction' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| resWords | Language.Rzk.Syntax.Lex |
| Rzk1 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |