| RandomSeed | Grisette.Backend, Grisette |
| rangle | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| rbrace | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| rbracket | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| RealPoint | Grisette.Internal.SymPrim.AlgReal, Grisette.SymPrim, Grisette |
| reAnnotate | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| reAnnotateS | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| Rec | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| recipOr | Grisette.Internal.Core.Data.Class.SafeFdiv, Grisette.Core, Grisette |
| recipOrZero | Grisette.Internal.Core.Data.Class.SafeFdiv, Grisette.Core, Grisette |
| RecipTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| recipTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| redirectVerbose | Grisette.Backend, Grisette |
| reifyDatatypeWithFreshNames | Grisette.Internal.TH.Util |
| RemIntegralTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| remIntegralTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| remOr | Grisette.Internal.Core.Data.Class.SafeDiv, Grisette.Core, Grisette |
| remOrDividend | Grisette.Internal.Core.Data.Class.SafeDiv, Grisette.Core, Grisette |
| removeTrailingWhitespace | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| ReproducibleResourceLimit | Grisette.Backend, Grisette |
| resolveMergeable1 | Grisette.Internal.Core.Data.Class.Mergeable |
| resolveStrategy | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| resolveStrategy' | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| restrictTo | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| ResultNumLimitReached | Grisette.Internal.Core.Data.Class.Solver, Grisette.Core, Grisette |
| rightConstantHandler | Grisette.Internal.SymPrim.Prim.Internal.PartialEval |
| RNA | Grisette.Internal.SymPrim.FP, Grisette.SymPrim, Grisette |
| rna | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| RNE | Grisette.Internal.SymPrim.FP, Grisette.SymPrim, Grisette |
| rne | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| rootStrategy | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy1 | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy2 | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy3 | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| RotateLeftTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| rotateLeftTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| RotateRightTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| rotateRightTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| roundingMode | Grisette.Backend, Grisette |
| rparen | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| RTN | Grisette.Internal.SymPrim.FP, Grisette.SymPrim, Grisette |
| rtn | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| RTP | Grisette.Internal.SymPrim.FP, Grisette.SymPrim, Grisette |
| rtp | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| RTZ | Grisette.Internal.SymPrim.FP, Grisette.SymPrim, Grisette |
| rtz | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| runCBMCEither | Grisette.Internal.Core.Control.Monad.CBMCExcept, Grisette.Core, Grisette |
| runCBMCExceptT | Grisette.Internal.Core.Control.Monad.CBMCExcept, Grisette.Core, Grisette |
| runFresh | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| runFreshT | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| runFreshTFromIndex | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| runSBVIncremental | Grisette.Internal.Backend.Solving |
| runSBVIncrementalT | Grisette.Internal.Backend.Solving |