| 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 |
| rational | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| rbrace | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| rbrack | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| reifyName | Cryptol.Transform.Specialize |
| removeIncludes | Cryptol.Parser.NoInclude |
| 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 |
| renameDecls | Cryptol.ModuleSystem.Base |
| renameExpr | Cryptol.ModuleSystem.Base |
| renameModule | 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 |
| render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| renderStyle | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| reorderArgs | Cryptol.TypeCheck.Solver.Eval |
| RepeatedDefinitions | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| RepeatedTyParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| REPL | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| REPLException | Cryptol.REPL.Monad |
| replicateV | Cryptol.Symbolic.Prims |
| ReplInput | Cryptol.Parser.AST |
| replParse | Cryptol.REPL.Command |
| resetModuleEnv | Cryptol.ModuleSystem.Env |
| Result | |
| 1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
| 2 (Type/Class) | Cryptol.TypeCheck.Unify |
| rethrowEvalError | Cryptol.REPL.Monad |
| rewModule | Cryptol.Transform.MonoValues |
| ribbonsPerLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| RightAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| rotateLS | Cryptol.Prims.Eval |
| rotateLW | Cryptol.Prims.Eval |
| rotateRS | Cryptol.Prims.Eval |
| rotateRW | Cryptol.Prims.Eval |
| RotL | Cryptol.Parser.Lexer |
| RotR | Cryptol.Parser.Lexer |
| rparen | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| rPrint | Cryptol.REPL.Monad |
| rPutStr | Cryptol.REPL.Monad |
| rPutStrLn | Cryptol.REPL.Monad |
| runCommand | Cryptol.REPL.Command |
| runInferM | Cryptol.TypeCheck.Monad |
| runKindM | Cryptol.TypeCheck.Monad |
| runModuleM | Cryptol.ModuleSystem.Monad |
| runModuleT | Cryptol.ModuleSystem.Monad |
| runOneTest | |
| 1 (Function) | Cryptol.Testing.Eval |
| 2 (Function) | Cryptol.Testing.Random |
| 3 (Function) | Cryptol.Testing.Exhaust |
| runRenamer | Cryptol.ModuleSystem.Renamer |
| runREPL | Cryptol.REPL.Monad |
| runSpecT | Cryptol.Transform.Specialize |
| RW | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |