Index - R
| recursorName | Language.Lean.Inductive |
| resetDiagnosticOutput | Language.Lean.IOS, Language.Lean |
| resetRegularOutput | Language.Lean.IOS, Language.Lean |
| runLeanMaybeFn | Language.Lean.Internal.Exception |
| runLeanPartialAction | Language.Lean.Internal.Exception |
| runLeanPartialFn | Language.Lean.Internal.Exception |