Index - R
| R | Ermine.Syntax.Global |
| rangle | Ermine.Pretty |
| Rank | Ermine.Unification.Meta |
| rational | Ermine.Pretty |
| Raw | Ermine.Pattern.Matrix |
| rbrace | Ermine.Pretty |
| rbracket | Ermine.Pretty |
| readMeta | Ermine.Unification.Meta |
| reason | Ermine.Diagnostic |
| rebind | Ermine.Syntax.Scope |
| red | Ermine.Pretty |
| Ref | |
| 1 (Type/Class) | Ermine.Syntax.G |
| 2 (Data Constructor) | Ermine.Syntax.G |
| Remember | Ermine.Syntax.Term |
| remember | Ermine.Unification.Meta |
| renderCompact | Ermine.Pretty |
| Rendering | Ermine.Diagnostic |
| rendering | Ermine.Diagnostic |
| renderingDelta | Ermine.Diagnostic |
| renderingLine | Ermine.Diagnostic |
| renderingLineBytes | Ermine.Diagnostic |
| renderingLineLen | Ermine.Diagnostic |
| renderingOverlays | Ermine.Diagnostic |
| renderPretty | Ermine.Pretty |
| renderSmart | Ermine.Pretty |
| rewriteCore | Ermine.Core.Optimizer |
| rewriteCoreDown | Ermine.Core.Optimizer |
| Rho | Ermine.Syntax.Kind |
| rho | Ermine.Syntax.Kind |
| rparen | Ermine.Pretty |
| runCM | Ermine.Constraint.Env |
| runCounter | Ermine.Monitor |
| runGauge | Ermine.Monitor |
| runLabel | Ermine.Monitor |
| runLint | Ermine.Core.Lint |
| runM | Ermine.Unification.Meta |
| runM_ | Ermine.Unification.Meta |
| runSharing | Ermine.Unification.Sharing |