| R | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Raw | Language.Fixpoint.Smt.Types |
| RDiv | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| realApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| realFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| realSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| realToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| refaP | Language.Fixpoint.Parse |
| refBindP | Language.Fixpoint.Parse |
| refDefP | Language.Fixpoint.Parse |
| refP | Language.Fixpoint.Parse |
| Reft | |
| 1 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| reft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Reftable | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| reftBind | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| reftConjuncts | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| reftFreeVars | Language.Fixpoint.Types.Utils, Language.Fixpoint.Types |
| reftPred | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| remainderP | Language.Fixpoint.Parse |
| renameAll | Language.Fixpoint.Solver.UniqifyBinds |
| renameSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| repeats | Language.Fixpoint.Misc |
| reserved | Language.Fixpoint.Parse |
| reservedOp | Language.Fixpoint.Parse |
| Response | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| resSolution | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| resStatus | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Result | |
| 1 (Data Constructor) | Language.Fixpoint.Utils.Files |
| 2 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| 3 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| resultDoc | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| resultExit | Language.Fixpoint.Solver |
| rhsKVars | Language.Fixpoint.Types.Visitor |
| RR | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| rr | Language.Fixpoint.Parse |
| rr' | Language.Fixpoint.Parse |
| RTimes | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| runSmt2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| runSolverM | Language.Fixpoint.Solver.Monad |