| CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| cantFindFile | Cryptol.ModuleSystem.Monad |
| Captured | Cryptol.TypeCheck.Sanity |
| CArith | Cryptol.Parser.AST |
| 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 |
| check | Cryptol.TypeCheck.Solver.CrySAT |
| 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 |
| checkSchema | Cryptol.TypeCheck.Kind |
| checkSigB | Cryptol.TypeCheck.Infer |
| checkTShadowing | Cryptol.TypeCheck.Monad |
| checkType | Cryptol.TypeCheck.Kind |
| checkTypeOfKind | Cryptol.TypeCheck.Infer |
| checkTySyn | Cryptol.TypeCheck.Kind |
| cHelp | Cryptol.REPL.Command |
| 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 |
| cmpNameDisplay | Cryptol.ModuleSystem.Name |
| cmpNameLexical | Cryptol.ModuleSystem.Name |
| 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 |
| 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 |
| compareFixity | Cryptol.Parser.AST |
| composeSubst | Cryptol.TypeCheck.Solver.Numeric.AST |
| computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| 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 |
| copyBySchema | Cryptol.Symbolic |
| copyByType | Cryptol.Symbolic |
| 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 |
| cryAnds | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryDefined | Cryptol.TypeCheck.Solver.Numeric.Defined |
| cryDefinedProp | Cryptol.TypeCheck.Solver.Numeric.Defined |
| cryExprExprs | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryExprFVS | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryImproveModel | Cryptol.TypeCheck.Solver.Numeric.SMT |
| cryIsFin | Cryptol.TypeCheck.Solver.Numeric.Fin |
| cryIsFinType | Cryptol.TypeCheck.Solver.Numeric.Fin |
| cryLet | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryOrs | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryPropExprs | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryPropFVS | Cryptol.TypeCheck.Solver.Numeric.AST |
| cryRebuildExpr | Cryptol.TypeCheck.Solver.Numeric.AST |
| crySimpExpr | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| crySimpExprMaybe | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| crySimpExprStep | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| crySimpExprStep1 | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
| crySimplify | Cryptol.TypeCheck.Solver.Numeric.Simplify |
| crySimplifyMaybe | Cryptol.TypeCheck.Solver.Numeric.Simplify |
| crySimpPropExpr | Cryptol.TypeCheck.Solver.Numeric.Simplify |
| crySimpPropExprMaybe | Cryptol.TypeCheck.Solver.Numeric.Simplify |
| 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 |
| CtImprovement | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| CtInst | 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 |
| CType | Cryptol.Parser.AST |
| CurlyL | Cryptol.Parser.Lexer |
| CurlyR | Cryptol.Parser.Lexer |
| curRange | Cryptol.TypeCheck.Monad |
| CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |