| redirectVerbose | Grisette.Backend.SBV, Grisette |
| RemBoundedIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| remBoundedIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| RemIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| remIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| resolveStrategy | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| resolveStrategy' | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| restrictTo | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| ResultNumLimitReached | Grisette.Backend.SBV.Data.SMT.Solving, Grisette.Backend.SBV, Grisette |
| Ret | Grisette.Core.Data.Class.Function, Grisette.Core, Grisette, Grisette |
| rightConstantHandler | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| rootStrategy | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy' | Grisette.Core.Data.Class.Mergeable |
| rootStrategy1 | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy2 | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| rootStrategy3 | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| RotateBitsTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| rotateBitsTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| roundingMode | Grisette.Backend.SBV, Grisette |
| runCBMCEither | Grisette.Core.Control.Monad.CBMCExcept, Grisette.Core, Grisette |
| runCBMCExceptT | Grisette.Core.Control.Monad.CBMCExcept, Grisette.Core, Grisette |
| runFresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| runFreshT | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |