| calc_k | Cryptol.SHA |
| callForeignImpl | Cryptol.Backend.FFI |
| CallStack | Cryptol.Backend.Monad |
| CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| canonicalFields | Cryptol.Utils.RecordMap |
| CanonicalOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| cantFindFile | Cryptol.ModuleSystem.Monad |
| CantLoadFFIImpl | Cryptol.Backend.FFI.Error |
| CantLoadFFISrc | Cryptol.Backend.FFI.Error |
| Captured | Cryptol.TypeCheck.Sanity |
| cArgs | Cryptol.REPL.Command |
| CaseAlt | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.AST |
| caseCon | Cryptol.Eval.Value |
| CaseCont | |
| 1 (Type/Class) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Value |
| CasedExpression | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| caseDflt | Cryptol.Eval.Value |
| caseValue | Cryptol.Eval.Value |
| catch | Cryptol.REPL.Monad |
| cBody | Cryptol.REPL.Command |
| ccatV | Cryptol.Eval.Generic |
| ceilingV | Cryptol.Eval.Generic |
| 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 |
| cfgStart | Cryptol.Parser.Lexer, Cryptol.Parser |
| char | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| CheckAll | Cryptol.ModuleSystem.Renamer.Monad |
| checkDecls | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkE | Cryptol.TypeCheck.Infer |
| Checked | Cryptol.TypeCheck.Instantiate |
| checkEnum | Cryptol.TypeCheck.Kind |
| checkExpr | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkIsModule | Cryptol.ModuleSystem.Renamer.Monad |
| checkModule | Cryptol.ModuleSystem.Base |
| checkModuleByPath | Cryptol.ModuleSystem |
| checkNewtype | Cryptol.TypeCheck.Kind |
| CheckNone | Cryptol.ModuleSystem.Renamer.Monad |
| CheckOverlap | Cryptol.ModuleSystem.Renamer.Monad |
| checkOverlap | Cryptol.ModuleSystem.Renamer.Monad |
| checkParameterConstraints | Cryptol.TypeCheck.Kind |
| checkParameterType | Cryptol.TypeCheck.Kind |
| checkParamKind | Cryptol.TypeCheck.Monad |
| checkPrimType | Cryptol.TypeCheck.Kind |
| checkProp | Cryptol.Eval |
| checkPropGuards | Cryptol.TypeCheck.Kind |
| checkPropSyn | Cryptol.TypeCheck.Kind |
| checkSchema | Cryptol.TypeCheck.Kind |
| checkShadowing | Cryptol.ModuleSystem.Renamer.Monad |
| checkSigB | Cryptol.TypeCheck.Infer |
| checkThat | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| checkTopDecls | Cryptol.TypeCheck.Infer |
| checkTShadowing | Cryptol.TypeCheck.Monad |
| checkType | Cryptol.TypeCheck.Kind |
| checkTySyn | Cryptol.TypeCheck.Kind |
| checkUnsolvable | Cryptol.TypeCheck.Solver.SMT |
| cHelp | Cryptol.REPL.Command |
| ChrLit | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| cleanupErrors | Cryptol.TypeCheck.Error |
| clearEditPath | Cryptol.REPL.Monad |
| clearLoadedMod | Cryptol.REPL.Monad |
| cLongHelp | Cryptol.REPL.Command |
| cmpNameDisplay | Cryptol.ModuleSystem.Name |
| cmpValue | Cryptol.Eval.Generic |
| cNames | Cryptol.REPL.Command |
| col | Cryptol.Parser.Position |
| collectGoals | Cryptol.TypeCheck.Monad |
| collectIfaceDeps | Cryptol.ModuleSystem.Renamer.Monad |
| Colon | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| colon | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| combineCallStacks | Cryptol.Backend.Monad |
| combLoc | Cryptol.Parser.Position |
| Comma | Cryptol.Parser.Token, 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 |
| commandList | Cryptol.REPL.Command |
| CommandOk | Cryptol.REPL.Command |
| commaSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| commaSepFill | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| commitBranch | Cryptol.Version |
| commitDirty | Cryptol.Version |
| commitHash | Cryptol.Version |
| commitShortHash | Cryptol.Version |
| compareFixity | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| Complement | Cryptol.Parser.Token |
| complementV | Cryptol.Eval.Generic |
| computeExponent | Cryptol.Eval.Generic |
| computeFreeVarNames | Cryptol.TypeCheck.Error |
| computeModel | Cryptol.Symbolic |
| computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| concatSeqMap | Cryptol.Backend.SeqMap |
| Concrete | |
| 1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| conFields | Cryptol.Eval.Type |
| Config | |
| 1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
| conIdent | Cryptol.Eval.Type |
| ConInfo | |
| 1 (Type/Class) | Cryptol.Eval.Type |
| 2 (Data Constructor) | Cryptol.Eval.Type |
| ConPat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| cons | Cryptol.TypeCheck.TypeMap |
| consToValues | Cryptol.ModuleSystem.NamingEnv.Types, Cryptol.ModuleSystem.NamingEnv |
| ConstraintSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| ConstratintAt | Cryptol.ModuleSystem.Renamer.Error |
| ConValue | Cryptol.Eval.Value |
| CoreLint | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| CounterExample | Cryptol.Symbolic |
| CounterExampleType | Cryptol.Symbolic |
| 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 |
| cryIsPrime | Cryptol.TypeCheck.Solver.Numeric |
| cryNoPrimError | Cryptol.Backend |
| Cryptol | Cryptol.Utils.Panic |
| CryptolPanic | Cryptol.Utils.Panic |
| cryUserError | Cryptol.Backend |
| 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 |
| CtFFI | 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 |
| CtPropGuardsExhaustive | 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 |
| curLoc | Cryptol.ModuleSystem.Renamer.Monad |
| CurlyL | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| CurlyR | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| curRange | Cryptol.TypeCheck.Monad |
| CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |