| raise | Cryptol.REPL.Monad |
| randomBit | Cryptol.Testing.Random |
| randomRecord | Cryptol.Testing.Random |
| randomSequence | Cryptol.Testing.Random |
| randomStream | Cryptol.Testing.Random |
| randomTuple | Cryptol.Testing.Random |
| randomV | Cryptol.Prims.Eval |
| randomValue | Cryptol.Testing.Random |
| randomWord | Cryptol.Testing.Random |
| Range | |
| 1 (Type/Class) | Cryptol.Parser.Position |
| 2 (Data Constructor) | Cryptol.Parser.Position |
| rComb | Cryptol.Parser.Position |
| rCombs | Cryptol.Parser.Position |
| ReadEnv | Cryptol.Eval.Env |
| recordError | Cryptol.TypeCheck.Monad |
| RecordSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| recordWarning | Cryptol.TypeCheck.Monad |
| Recursive | Cryptol.TypeCheck.AST |
| RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| recursiveModules | Cryptol.ModuleSystem.Monad |
| RecursiveType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| RecursiveTypeDecls | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| removeIncludesModule | Cryptol.Parser.NoInclude |
| removeLoadedModule | Cryptol.ModuleSystem.Env |
| RemovePatterns | Cryptol.Parser.NoPat |
| removePatterns | Cryptol.Parser.NoPat |
| Rename | Cryptol.ModuleSystem.Renamer |
| rename | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenameM | Cryptol.ModuleSystem.Renamer |
| renameModule | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenamerError | Cryptol.ModuleSystem.Renamer |
| RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerErrors | Cryptol.ModuleSystem.Monad |
| RenamerWarning | Cryptol.ModuleSystem.Renamer |
| RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerWarnings | Cryptol.ModuleSystem.Monad |
| renameType | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| renameVar | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| RepeatedDefinitions | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| RepeatedTyParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| RepeatedVariableInForall | Cryptol.TypeCheck.Sanity |
| REPL | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| replCheckExpr | Cryptol.REPL.Command |
| replEvalExpr | Cryptol.REPL.Command |
| REPLException | Cryptol.REPL.Monad |
| replicateV | Cryptol.Symbolic.Prims |
| ReplInput | Cryptol.Parser.AST |
| replParse | Cryptol.REPL.Command |
| replParseExpr | Cryptol.REPL.Command |
| reportProp | Cryptol.Testing.Concrete |
| reportResult | Cryptol.Testing.Concrete |
| reportTestsPossible | Cryptol.Testing.Concrete |
| reportTestsRun | Cryptol.Testing.Concrete |
| resetModuleEnv | Cryptol.ModuleSystem.Env |
| Result | Cryptol.TypeCheck.Unify |
| rethrowEvalError | Cryptol.REPL.Monad |
| Return | Cryptol.TypeCheck.Solver.Numeric.AST |
| rewModule | Cryptol.Transform.MonoValues |
| RightAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST |
| RO | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| 3 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 4 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| roLoading | Cryptol.ModuleSystem.Monad |
| rootExact | Cryptol.TypeCheck.Solver.InfNat |
| rotateLS | Cryptol.Prims.Eval |
| rotateLW | Cryptol.Prims.Eval |
| rotateRS | Cryptol.Prims.Eval |
| rotateRW | Cryptol.Prims.Eval |
| rPrint | Cryptol.REPL.Monad |
| rPutStr | Cryptol.REPL.Monad |
| rPutStrLn | Cryptol.REPL.Monad |
| runBuild | Cryptol.ModuleSystem.NamingEnv |
| runCommand | Cryptol.REPL.Command |
| runDoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| runExportM | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
| runInferM | Cryptol.TypeCheck.Monad |
| runKindM | Cryptol.TypeCheck.Monad |
| runModuleM | Cryptol.ModuleSystem.Monad |
| runModuleT | Cryptol.ModuleSystem.Monad |
| runOneTest | |
| 1 (Function) | Cryptol.Testing.Concrete |
| 2 (Function) | Cryptol.Testing.Random |
| runRenamer | Cryptol.ModuleSystem.Renamer |
| runREPL | Cryptol.REPL.Monad |
| runSpecT | Cryptol.Transform.Specialize |
| runSupplyT | Cryptol.ModuleSystem.Name |
| runTests | Cryptol.Testing.Concrete |
| RW | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |