| Rational | Lorentz.CustomArith.RationalArith, Lorentz.CustomArith, Lorentz |
| readSTicket | Lorentz.Tickets |
| ReadTicket | |
| 1 (Type/Class) | Lorentz.Value, Lorentz.Instr, Lorentz |
| 2 (Data Constructor) | Lorentz.Value, Lorentz |
| readTicket | Lorentz.Instr, Lorentz |
| Rec | Lorentz.ADT, Lorentz |
| RecLambda | Lorentz.Lambda, Lorentz |
| reduce | Lorentz.CustomArith.RationalArith, Lorentz.CustomArith, Lorentz |
| reifyDataType | Lorentz.Value, Lorentz |
| renderViewsDescriptorDoc | Lorentz.Doc, Lorentz |
| reorderingConstrs | Lorentz.Value, Lorentz |
| reorderingData | Lorentz.Value, Lorentz |
| reorderingFields | Lorentz.Value, Lorentz |
| ReplaceN | Lorentz.Macro, Lorentz |
| replaceN | Lorentz.Macro, Lorentz |
| replaceNImpl | Lorentz.Macro, Lorentz |
| RequireAllUniqueEntrypoints | Lorentz.Entrypoints.Core, Lorentz.Entrypoints, Lorentz |
| RequireAllUniqueEntrypoints' | Lorentz.Entrypoints.Core |
| RequireFlatEpDerivation | Lorentz.Entrypoints.Doc, Lorentz |
| RequireFlatParamEps | Lorentz.Entrypoints.Doc, Lorentz |
| RequireSumType | Lorentz.Entrypoints.Helpers |
| RequireUniqueEntrypoints | Lorentz.UParam, Lorentz |
| resolution_ | Lorentz.CustomArith.FixedArith, Lorentz.CustomArith, Lorentz |
| return | Lorentz.Rebound, Lorentz |
| RevealViews | Lorentz.ViewBase, Lorentz |
| Right | Lorentz.Prelude, Lorentz |
| right | Lorentz.Instr, Lorentz |
| rightBalanced | Lorentz.Value, Lorentz |
| rightComb | Lorentz.Value, Lorentz |
| RNil | Lorentz.ADT, Lorentz |
| round_ | Lorentz.CustomArith.Common, Lorentz.CustomArith, Lorentz |
| rsub | Lorentz.Instr, Lorentz |
| rsubMutez | Lorentz.Instr, Lorentz |
| rtAmount | Lorentz.Value, Lorentz |
| rtData | Lorentz.Value, Lorentz |
| rtTicketer | Lorentz.Value, Lorentz |
| runContractRegistry | Lorentz.ContractRegistry |
| runFutureContract | Lorentz.Instr, Lorentz |