| CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| cantFindFile | Cryptol.ModuleSystem.Monad |
| Captured | Cryptol.TypeCheck.Sanity |
| cArgs | Cryptol.REPL.Command |
| CArith | Cryptol.Parser.AST |
| carry | Cryptol.Symbolic.Prims |
| carryV | Cryptol.Prims.Eval |
| catch | Cryptol.REPL.Monad |
| cBody | Cryptol.REPL.Command |
| ccatV | Cryptol.Prims.Eval |
| CCmp | Cryptol.Parser.AST |
| CEqual | Cryptol.Parser.AST |
| cfgAutoInclude | Cryptol.Parser.Lexer, Cryptol.Parser |
| cfgLayout | Cryptol.Parser.Lexer, Cryptol.Parser |
| cfgModuleScope | Cryptol.Parser.Lexer, Cryptol.Parser |
| cfgPreProc | Cryptol.Parser.Lexer, Cryptol.Parser |
| cfgSource | Cryptol.Parser.Lexer, Cryptol.Parser |
| CFin | Cryptol.Parser.AST |
| CGeq | Cryptol.Parser.AST |
| char | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| CharLit | Cryptol.Parser.AST |
| checkDecls | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkE | Cryptol.TypeCheck.Infer |
| checkedIndex | Cryptol.Eval.Value |
| checkedSeqIndex | Cryptol.Eval.Value |
| checkExpr | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkModule | Cryptol.ModuleSystem.Base |
| checkModuleInstance | Cryptol.TypeCheck.CheckModuleInstance |
| checkNamingEnv | Cryptol.ModuleSystem.Renamer |
| checkNewtype | Cryptol.TypeCheck.Kind |
| checkParameterConstraints | Cryptol.TypeCheck.Kind |
| checkParameterType | Cryptol.TypeCheck.Kind |
| checkPropSyn | Cryptol.TypeCheck.Kind |
| checkSchema | Cryptol.TypeCheck.Kind |
| checkSigB | Cryptol.TypeCheck.Infer |
| checkSingleModule | Cryptol.ModuleSystem.Base |
| checkThat | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| checkTShadowing | Cryptol.TypeCheck.Monad |
| checkType | Cryptol.TypeCheck.Kind |
| checkTySyn | Cryptol.TypeCheck.Kind |
| checkUnsolvable | Cryptol.TypeCheck.Solver.SMT |
| cHelp | Cryptol.REPL.Command |
| ChrLit | Cryptol.Parser.Lexer |
| classStep | Cryptol.TypeCheck.Solver.Class |
| cleanupErrors | Cryptol.TypeCheck.Error |
| clearLoadedMod | Cryptol.REPL.Monad |
| CLiteral | Cryptol.Parser.AST |
| CLocated | Cryptol.Parser.AST |
| CLogic | Cryptol.Parser.AST |
| cmpBinary | Cryptol.Symbolic.Prims |
| cmpEq | Cryptol.Symbolic.Prims |
| cmpGt | Cryptol.Symbolic.Prims |
| cmpGtEq | Cryptol.Symbolic.Prims |
| cmpLt | Cryptol.Symbolic.Prims |
| cmpLtEq | Cryptol.Symbolic.Prims |
| cmpMod | Cryptol.Symbolic.Prims |
| cmpModEq | Cryptol.Symbolic.Prims |
| cmpModNotEq | Cryptol.Symbolic.Prims |
| cmpNameDisplay | Cryptol.ModuleSystem.Name |
| cmpNameLexical | Cryptol.ModuleSystem.Name |
| cmpNotEq | Cryptol.Symbolic.Prims |
| cmpOrder | Cryptol.Prims.Eval |
| cmpSignedLt | Cryptol.Symbolic.Prims |
| cmpValue | Cryptol.Prims.Eval |
| cNames | Cryptol.REPL.Command |
| CNeq | Cryptol.Parser.AST |
| col | Cryptol.Parser.Position |
| collectGoals | Cryptol.TypeCheck.Monad |
| Colon | Cryptol.Parser.Lexer |
| colon | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| combine | Cryptol.TypeCheck.Depends |
| combineMaps | Cryptol.TypeCheck.Depends |
| combLoc | Cryptol.Parser.Position |
| Comma | Cryptol.Parser.Lexer |
| comma | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| Command | |
| 1 (Type/Class) | Cryptol.REPL.Command |
| 2 (Data Constructor) | Cryptol.REPL.Command |
| CommandBody | Cryptol.REPL.Command |
| CommandDescr | |
| 1 (Type/Class) | Cryptol.REPL.Command |
| 2 (Data Constructor) | Cryptol.REPL.Command |
| CommandError | Cryptol.REPL.Command |
| CommandExitCode | Cryptol.REPL.Command |
| CommandOk | Cryptol.REPL.Command |
| commaSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| commitBranch | Cryptol.Version |
| commitDirty | Cryptol.Version |
| commitHash | Cryptol.Version |
| commitShortHash | Cryptol.Version |
| compareFixity | Cryptol.Parser.Fixity, Cryptol.Parser.AST |
| computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| concatSeqMap | Cryptol.Eval.Value |
| Config | |
| 1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
| cons | Cryptol.TypeCheck.TypeMap |
| ConstraintSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CoreLint | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| cppKind | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| cryIsEqual | Cryptol.TypeCheck.Solver.Numeric |
| cryIsFin | Cryptol.TypeCheck.Solver.Numeric.Fin |
| cryIsFinType | Cryptol.TypeCheck.Solver.Numeric.Fin |
| cryIsGeq | Cryptol.TypeCheck.Solver.Numeric |
| cryIsNotEqual | Cryptol.TypeCheck.Solver.Numeric |
| cryLoopError | Cryptol.Eval.Monad |
| Cryptol | Cryptol.Utils.Panic |
| CryptolPanic | Cryptol.Utils.Panic |
| cryUserError | Cryptol.Eval.Monad |
| CSignedCmp | Cryptol.Parser.AST |
| CtComprehension | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtDefaulting | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtEnumeration | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtExactType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtImprovement | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtInst | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtModuleInstance | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtPartialTypeFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtPattern | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtSelector | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtSplitPat | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtTypeSig | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| Ctxt | Cryptol.TypeCheck.Solver.Types |
| CType | Cryptol.Parser.AST |
| CurlyL | Cryptol.Parser.Lexer |
| CurlyR | Cryptol.Parser.Lexer |
| curRange | Cryptol.TypeCheck.Monad |
| CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CUser | Cryptol.Parser.AST |
| CZero | Cryptol.Parser.AST |