| CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| cantFindFile | Cryptol.ModuleSystem.Monad |
| CArith | Cryptol.Parser.AST |
| cat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| catch | Cryptol.REPL.Monad |
| catV | Cryptol.Symbolic.Prims |
| 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 |
| checkExpr | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkFun | Cryptol.TypeCheck.Infer |
| checkHasType | Cryptol.TypeCheck.Infer |
| checkModule | Cryptol.ModuleSystem.Base |
| checkMonoB | Cryptol.TypeCheck.Infer |
| checkNamingEnv | Cryptol.ModuleSystem.Renamer |
| checkNewtype | Cryptol.TypeCheck.Kind |
| checkP | Cryptol.TypeCheck.Infer |
| checkSat | Cryptol.TypeCheck.Solver.CrySAT |
| checkSchema | Cryptol.TypeCheck.Kind |
| checkSigB | Cryptol.TypeCheck.Infer |
| checkTShadowing | Cryptol.TypeCheck.Monad |
| checkType | Cryptol.TypeCheck.Kind |
| checkTypeFunction | Cryptol.TypeCheck.Solve |
| checkTypeOfKind | Cryptol.TypeCheck.Infer |
| checkTySyn | Cryptol.TypeCheck.Kind |
| cHelp | Cryptol.REPL.Command |
| Chr | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ChrLit | Cryptol.Parser.Lexer |
| classStep | Cryptol.TypeCheck.Solver.Class |
| CLocated | 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 |
| cmpNotEq | Cryptol.Symbolic.Prims |
| cmpOrder | Cryptol.Prims.Eval |
| cmpValue | Cryptol.Symbolic.Prims |
| cNames | Cryptol.REPL.Command |
| col | Cryptol.Parser.Position |
| collectGoals | Cryptol.TypeCheck.Monad |
| Colon | Cryptol.Parser.Lexer |
| colon | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ColonColon | Cryptol.Parser.Lexer |
| combine | Cryptol.TypeCheck.Depends |
| combineMaps | Cryptol.TypeCheck.Depends |
| 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 |
| commaSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| commitBranch | Cryptol.Version |
| commitDirty | Cryptol.Version |
| commitHash | Cryptol.Version |
| commitShortHash | Cryptol.Version |
| commuteArgs | Cryptol.TypeCheck.Solver.Eval |
| Complement | Cryptol.Parser.Lexer |
| Config | |
| 1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
| Conj | Cryptol.Parser.Lexer |
| cons | Cryptol.TypeCheck.TypeMap |
| ConstraintSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| copyBySchema | Cryptol.Symbolic |
| copyByType | Cryptol.Symbolic |
| cppKind | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| cryUserError | Cryptol.Eval.Error |
| 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 |
| CtInst | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtPartialTypeFun | 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 |
| CurlyL | Cryptol.Parser.Lexer |
| CurlyR | Cryptol.Parser.Lexer |
| curRange | Cryptol.TypeCheck.Monad |
| CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CVC4NotFound | Cryptol.REPL.Monad |