| Range | Lorentz.Range, Lorentz |
| RangeBoundary | Lorentz.Range, Lorentz |
| RangeBoundaryInclusion | Lorentz.Range, Lorentz |
| RangeEE | Lorentz.Range, Lorentz |
| RangeEI | Lorentz.Range, Lorentz |
| RangeFailureInfo | |
| 1 (Type/Class) | Lorentz.Range, Lorentz |
| 2 (Data Constructor) | Lorentz.Range, Lorentz |
| RangeIE | Lorentz.Range, Lorentz |
| rangeLower | Lorentz.Range, Lorentz |
| rangeLower_ | Lorentz.Range, Lorentz |
| rangeUpper | Lorentz.Range, Lorentz |
| rangeUpper_ | Lorentz.Range, Lorentz |
| 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 |
| rfiBoundary | Lorentz.Range, Lorentz |
| rfiInclusive | Lorentz.Range, Lorentz |
| rfiValue | Lorentz.Range, 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 |