| iAbstractTypes | Cryptol.TypeCheck.Monad |
| iAdd | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iAny | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iAnyFin | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iAs | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| iCeilDiv | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iCeilMod | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iConst | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iCts | Cryptol.TypeCheck.Monad |
| Ident | |
| 1 (Type/Class) | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.Lexer |
| identText | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| iDiv | Cryptol.TypeCheck.Solver.Numeric.Interval |
| ieFixity | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ieLeft | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ieOp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ieRight | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| iErrors | Cryptol.TypeCheck.Monad |
| iExistTVars | Cryptol.TypeCheck.Monad |
| iExp | Cryptol.TypeCheck.Solver.Numeric.Interval |
| ifAbstractTypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| Iface | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| IfaceDecl | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| IfaceDecls | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| IfaceNewtype | Cryptol.ModuleSystem.Interface |
| IfaceParams | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifacePrimMap | Cryptol.ModuleSystem.Interface |
| IfaceTySyn | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclDoc | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclFixity | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclInfix | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclName | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclPragmas | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDecls | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifDeclSig | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifModName | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifNewtypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifParamConstraints | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifParamFuns | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifParams | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifParamTypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifPrivate | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifPublic | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| ifTySynName | Cryptol.ModuleSystem.Interface |
| ifTySyns | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| iHasCts | Cryptol.TypeCheck.Monad |
| iIntersect | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iIsExact | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iIsFin | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iIsPosFin | Cryptol.TypeCheck.Solver.Numeric.Interval |
| ilam | Cryptol.Eval.Value |
| iLenFromThenTo | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iLower | Cryptol.TypeCheck.Solver.Numeric.Interval |
| IM | Cryptol.TypeCheck.Monad |
| iMax | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iMin | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iMod | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iModule | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| iMonoBinds | Cryptol.TypeCheck.Monad |
| Import | |
| 1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| importedModule | Cryptol.ModuleSystem.Monad |
| ImportedParamModule | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| ImportIface | |
| 1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv |
| 2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
| importIface | Cryptol.ModuleSystem.Base |
| importIfaces | Cryptol.ModuleSystem.Base |
| importParamModule | Cryptol.ModuleSystem.Monad |
| ImportSource | Cryptol.ModuleSystem.Monad |
| ImportSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| improveByDefaultingWithPure | Cryptol.TypeCheck.Default |
| improveEq | Cryptol.TypeCheck.Solver.Improve |
| improveLit | Cryptol.TypeCheck.Solver.Improve |
| improveProp | Cryptol.TypeCheck.Solver.Improve |
| improveProps | Cryptol.TypeCheck.Solver.Improve |
| iMul | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iNameSeeds | Cryptol.TypeCheck.Monad |
| Include | Cryptol.Parser.AST |
| IncludeCycle | Cryptol.Parser.NoInclude |
| IncludeDecodeFailed | Cryptol.Parser.NoInclude |
| IncludeError | Cryptol.Parser.NoInclude |
| IncludeFailed | Cryptol.Parser.NoInclude |
| IncludeParseError | Cryptol.Parser.NoInclude |
| indexBack_bits | Cryptol.Eval.What4.Value |
| indexBack_int | Cryptol.Eval.What4.Value |
| indexBack_word | Cryptol.Eval.What4.Value |
| indexFront_bits | Cryptol.Eval.What4.Value |
| indexFront_int | Cryptol.Eval.What4.Value |
| indexFront_word | Cryptol.Eval.What4.Value |
| indexPrim | Cryptol.Eval.Generic |
| IndexSeqMap | Cryptol.Eval.Value |
| indexWordValue | Cryptol.Eval.Value |
| iNewtypes | Cryptol.TypeCheck.Monad |
| Inf | Cryptol.TypeCheck.Solver.InfNat |
| inferBinds | Cryptol.TypeCheck.Infer |
| inferDs | Cryptol.TypeCheck.Infer |
| InferFailed | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| InferInput | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| InferM | Cryptol.TypeCheck.Monad |
| inferModule | Cryptol.TypeCheck.Infer |
| InferOK | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| InferOutput | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| infFromThenV | Cryptol.Eval.Generic |
| infFromV | Cryptol.Eval.Generic |
| InFile | Cryptol.ModuleSystem.Env |
| infiniteSeqMap | Cryptol.Eval.Value |
| Infix | |
| 1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| infixPrimTy | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| initialModuleEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| InMem | Cryptol.ModuleSystem.Env |
| InModule | |
| 1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| 2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| inNewScope | Cryptol.TypeCheck.Monad |
| inpAbstractTypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpMonoBinds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpNameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpNewtypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpParamConstraints | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpParamFuns | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpParamTypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpPrimNames | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpRange | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpSearchPath | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpSolverConfig | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpSupply | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpTSyns | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inpVars | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| inRange | Cryptol.TypeCheck.Monad |
| inRangeMb | Cryptol.TypeCheck.Monad |
| insertGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| insertTM | Cryptol.TypeCheck.TypeMap |
| insertTrie | Cryptol.REPL.Trie |
| insertWithTM | Cryptol.TypeCheck.TypeMap |
| instantiateExpr | Cryptol.Transform.Specialize |
| instantiateModule | Cryptol.ModuleSystem.InstantiateModule |
| instantiateSchema | Cryptol.Transform.Specialize |
| instantiateWith | Cryptol.TypeCheck.Instantiate |
| int | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| intDiv | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| integer | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| integerAsLit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| integerLit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| integerToChar | Cryptol.Eval.Concrete.Value, Cryptol.Eval.Concrete |
| integralBinary | Cryptol.Eval.Generic |
| intEq | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| interactive | Cryptol.ModuleSystem.Monad |
| interactiveConfig | Cryptol.REPL.Command |
| interactiveName | Cryptol.Utils.Ident |
| interpImport | Cryptol.ModuleSystem.NamingEnv |
| Interval | |
| 1 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.Interval |
| 2 (Data Constructor) | Cryptol.TypeCheck.Solver.Numeric.Interval |
| intervals | Cryptol.TypeCheck.Solver.Types |
| IntervalUpdate | Cryptol.TypeCheck.Solver.Numeric.Interval |
| intGreaterThan | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intLessThan | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intMinus | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intMod | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intMult | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intNegate | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intPlus | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intShifter | Cryptol.Eval.Generic |
| intToRational | Cryptol.Eval.Backend |
| intToZn | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| intV | Cryptol.Eval.Generic |
| InvalidChar | Cryptol.Parser.Lexer |
| InvalidConstraint | Cryptol.ModuleSystem.Renamer |
| InvalidIndex | Cryptol.Eval.Monad, Cryptol.Eval |
| invalidIndex | Cryptol.Eval.Backend |
| InvalidInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| InvalidString | Cryptol.Parser.Lexer |
| io | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.Eval.Monad |
| 3 (Function) | Cryptol.ModuleSystem.Monad |
| 4 (Function) | Cryptol.REPL.Monad |
| iOverlap | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iParamConstraints | Cryptol.TypeCheck.Monad |
| iParamFuns | Cryptol.TypeCheck.Monad |
| iParamTypes | Cryptol.TypeCheck.Monad |
| iPrimNames | Cryptol.TypeCheck.Monad |
| iRange | Cryptol.TypeCheck.Monad |
| isBoundTV | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| isEmptySubst | Cryptol.TypeCheck.Subst |
| isExportedBind | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| isExportedType | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| IsExternal | Cryptol.TypeCheck.Monad |
| isFreeTV | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| isGeneratedName | Cryptol.Parser.Name |
| isInfixIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| isLoaded | |
| 1 (Function) | Cryptol.ModuleSystem.Env |
| 2 (Function) | Cryptol.ModuleSystem.Monad |
| isLoadedParamMod | Cryptol.ModuleSystem.Env |
| IsLocal | Cryptol.TypeCheck.Monad |
| isMono | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| isNumeric | Cryptol.TypeCheck.Solver.SMT |
| iSolveCounter | Cryptol.TypeCheck.Monad |
| iSolvedHas | Cryptol.TypeCheck.Monad |
| iSolvedHasLazy | Cryptol.TypeCheck.Monad |
| iSolver | Cryptol.TypeCheck.Monad |
| isParametrizedModule | Cryptol.TypeCheck.AST |
| isParamInstModName | Cryptol.Utils.Ident |
| isPass | Cryptol.Testing.Random |
| iSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| isReady | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| isTBit | Cryptol.Eval.Type |
| isTopDecl | Cryptol.TypeCheck.Depends |
| iSub | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iSubst | Cryptol.TypeCheck.Monad |
| iSupply | Cryptol.TypeCheck.Monad |
| iteBit | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| iteInteger | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| iteRational | Cryptol.Eval.Backend |
| iteValue | Cryptol.Eval.Generic |
| iteWord | Cryptol.Eval.Backend, Cryptol.Eval.Value |
| iTSyns | Cryptol.TypeCheck.Monad |
| iTVars | Cryptol.TypeCheck.Monad |
| iUpper | Cryptol.TypeCheck.Solver.Numeric.Interval |
| iVars | Cryptol.TypeCheck.Monad |
| iWarnings | Cryptol.TypeCheck.Monad |
| iWidth | Cryptol.TypeCheck.Solver.Numeric.Interval |