| calc_k | Cryptol.SHA |
| CallStack | Cryptol.Backend.Monad |
| CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| canonicalFields | Cryptol.Utils.RecordMap |
| CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| cantFindFile | Cryptol.ModuleSystem.Monad |
| Captured | Cryptol.TypeCheck.Sanity |
| cArgs | Cryptol.REPL.Command |
| 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 |
| checkDecls | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| checkE | Cryptol.TypeCheck.Infer |
| Checked | Cryptol.TypeCheck.Instantiate |
| 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 |
| checkParamKind | Cryptol.TypeCheck.Monad |
| checkPrimType | 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 |
| cleanupErrors | Cryptol.TypeCheck.Error |
| clearEditPath | Cryptol.REPL.Monad |
| clearLoadedMod | Cryptol.REPL.Monad |
| cLongHelp | Cryptol.REPL.Command |
| cmpNameDisplay | Cryptol.ModuleSystem.Name |
| cmpNameLexical | Cryptol.ModuleSystem.Name |
| cmpValue | Cryptol.Eval.Generic |
| 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 |
| combineCallStacks | Cryptol.Backend.Monad |
| 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 |
| commandList | 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.Utils.Fixity, Cryptol.Parser.AST |
| complementV | Cryptol.Eval.Generic |
| computeExponent | Cryptol.Eval.Generic |
| computeFreeVarNames | Cryptol.TypeCheck.Error |
| computeModel | Cryptol.Symbolic |
| computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| concatSeqMap | Cryptol.Eval.Value |
| Concrete | |
| 1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 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 |
| 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 |
| 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 |