| RealSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| RealValue | Language.Hasmtlib.Type.Value, Language.Hasmtlib |
| Relation | |
| 1 (Type/Class) | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| relation | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| Rem | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| Render | Language.Hasmtlib.Internal.Render |
| render | Language.Hasmtlib.Internal.Render |
| renderAssert | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| renderBinary | Language.Hasmtlib.Internal.Render |
| renderDeclareVar | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| renderNary | Language.Hasmtlib.Internal.Render |
| RenderSeq | Language.Hasmtlib.Internal.Render |
| renderSeq | Language.Hasmtlib.Internal.Render |
| renderSetLogic | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| renderTernary | Language.Hasmtlib.Internal.Render |
| renderUnary | Language.Hasmtlib.Internal.Render |
| renderVars | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| Result | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| resultParser | Language.Hasmtlib.Internal.Parser |
| runSharing | Language.Hasmtlib.Internal.Sharing |