| !$ | Cryptol.TypeCheck.Subst |
| $$ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| &&& | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| .$ | Cryptol.TypeCheck.Subst |
| :-> | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| <+> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| <.> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| <~ | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| =#= | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| =/= | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| >< | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| >== | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| @@ | Cryptol.TypeCheck.Subst |
| aAnd | Cryptol.TypeCheck.TypePat |
| aBit | Cryptol.TypeCheck.TypePat |
| AbstractType | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| abstractTypeTC | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| aCeilDiv | Cryptol.TypeCheck.TypePat |
| aCeilMod | Cryptol.TypeCheck.TypePat |
| aChar | Cryptol.TypeCheck.TypePat |
| Act | Cryptol.ModuleSystem.Base |
| addDefEqn | |
| 1 (Function) | Cryptol.Backend.What4 |
| 2 (Function) | Cryptol.Backend.SBV |
| addGoals | Cryptol.TypeCheck.Monad |
| addHasGoal | Cryptol.TypeCheck.Monad |
| addLoadedModule | Cryptol.ModuleSystem.Env |
| AddLoc | Cryptol.Parser.Position |
| addLoc | Cryptol.Parser.Position |
| addModParams | Cryptol.Transform.AddModParams |
| addPrelude | Cryptol.ModuleSystem.Base |
| addSafety | Cryptol.Backend.What4 |
| addTNames | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| addTVarsDescsAfter | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| addTVarsDescsBefore | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| addV | Cryptol.Eval.Generic |
| adjustField | Cryptol.Utils.RecordMap |
| aesFinalRound | Cryptol.AES |
| aesInvFinalRound | Cryptol.AES |
| aesInvRound | Cryptol.AES |
| aesRound | Cryptol.AES |
| aFin | Cryptol.TypeCheck.TypePat |
| aFreeTVar | Cryptol.TypeCheck.TypePat |
| aInf | Cryptol.TypeCheck.TypePat |
| aLenFromThenTo | Cryptol.TypeCheck.TypePat |
| aLiteral | Cryptol.TypeCheck.TypePat |
| allDeclGroups | |
| 1 (Function) | Cryptol.ModuleSystem.Env |
| 2 (Function) | Cryptol.Transform.Specialize |
| allNamesD | Cryptol.Parser.Names |
| allowWild | Cryptol.TypeCheck.Monad |
| AllowWildCards | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| AllSat | Cryptol.Symbolic |
| AllSatResult | Cryptol.Symbolic |
| aLogic | Cryptol.TypeCheck.TypePat |
| alterTM | Cryptol.TypeCheck.TypeMap |
| alwaysQualify | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| aMax | Cryptol.TypeCheck.TypePat |
| Ambiguous | Cryptol.REPL.Command |
| AmbiguousSize | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| aMin | Cryptol.TypeCheck.TypePat |
| aMul | Cryptol.TypeCheck.TypePat |
| anAdd | Cryptol.TypeCheck.TypePat |
| aNat | Cryptol.TypeCheck.TypePat |
| aNat' | Cryptol.TypeCheck.TypePat |
| andV | Cryptol.Eval.Generic |
| anError | Cryptol.TypeCheck.TypePat |
| anyJust | Cryptol.Utils.Misc |
| anyJust2 | Cryptol.Utils.Misc |
| applySubst | Cryptol.TypeCheck.Monad |
| applySubstGoals | Cryptol.TypeCheck.Monad |
| applySubstPreds | Cryptol.TypeCheck.Monad |
| applySubstToVar | Cryptol.TypeCheck.Subst |
| apSubst | Cryptol.TypeCheck.Subst |
| apSubstMaybe | Cryptol.TypeCheck.Subst |
| apSubstTypeMapKeys | Cryptol.TypeCheck.Subst |
| aRec | Cryptol.TypeCheck.TypePat |
| ArgDescr | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| argDescrFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| argDescrNumber | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| arrayName | Cryptol.Utils.Ident |
| arrayPrim | Cryptol.Utils.Ident |
| ArrL | Cryptol.Parser.Lexer |
| ArrR | Cryptol.Parser.Lexer |
| asBatch | Cryptol.REPL.Monad |
| asBitsMap | Cryptol.Eval.Value |
| asciiMode | Cryptol.Backend.Monad, Cryptol.Eval.Value |
| aSeq | Cryptol.TypeCheck.TypePat |
| ashr | Cryptol.Backend.SBV |
| asIndex | Cryptol.Eval.Value |
| asParamName | Cryptol.ModuleSystem.Name |
| asPrim | Cryptol.ModuleSystem.Name |
| assertBVDivisor | Cryptol.Backend.What4 |
| assertIndexInBounds | Cryptol.Eval.Generic |
| assertIntDivisor | Cryptol.Backend.What4 |
| assertSideCondition | Cryptol.Backend, Cryptol.Eval.Value |
| Assoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| asWordVal | Cryptol.Eval.Value |
| AT | Cryptol.TypeCheck.Depends |
| at | Cryptol.Parser.Position |
| atCtrs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atFixitiy | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atKind | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| atName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| aTrue | Cryptol.TypeCheck.TypePat |
| aTuple | Cryptol.TypeCheck.TypePat |
| aTVar | Cryptol.TypeCheck.TypePat |
| AutoExponent | Cryptol.Backend.Monad |
| aWidth | Cryptol.TypeCheck.TypePat |
| aWord | Cryptol.TypeCheck.TypePat |
| Backend | Cryptol.Backend, Cryptol.Eval.Value |
| BackTick | Cryptol.Parser.Lexer |
| backticks | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BadApplication | Cryptol.TypeCheck.Sanity |
| BadInstantiation | Cryptol.TypeCheck.Sanity |
| BadMatch | Cryptol.TypeCheck.Sanity |
| BadProofNoAbs | Cryptol.TypeCheck.Sanity |
| BadProofTyVars | Cryptol.TypeCheck.Sanity |
| BadRoundingMode | Cryptol.Backend.Monad, Cryptol.Eval |
| BadSelector | Cryptol.TypeCheck.Sanity |
| BadTypeApplication | Cryptol.TypeCheck.Sanity |
| BadUtf8 | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| badUtf8 | Cryptol.ModuleSystem.Monad |
| BadValue | Cryptol.Backend.Monad, Cryptol.Eval |
| Bar | Cryptol.Parser.Lexer |
| barrelShifter | Cryptol.Eval.Generic |
| bDef | Cryptol.Parser.AST |
| bDoc | Cryptol.Parser.AST |
| BF | |
| 1 (Type/Class) | Cryptol.Backend.FloatHelpers |
| 2 (Data Constructor) | Cryptol.Backend.FloatHelpers |
| bfExpWidth | Cryptol.Backend.FloatHelpers |
| bFixity | Cryptol.Parser.AST |
| bfPrecWidth | Cryptol.Backend.FloatHelpers |
| bfValue | Cryptol.Backend.FloatHelpers |
| bigNatToInteger | Cryptol.PrimeEC |
| Binary | Cryptol.Eval.Generic |
| binary | Cryptol.Eval.Generic |
| binBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| Bind | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| BindDef | Cryptol.Parser.AST |
| BindsNames | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| bindType | Cryptol.Eval.Env |
| bindVar | |
| 1 (Function) | Cryptol.TypeCheck.Unify |
| 2 (Function) | Cryptol.Eval.Env |
| bindVarDirect | Cryptol.Eval.Env |
| bInfix | Cryptol.Parser.AST |
| BinFrac | Cryptol.Parser.AST |
| BinLit | Cryptol.Parser.AST |
| BinWord | Cryptol.Eval.Generic |
| bitAnd | Cryptol.Backend, Cryptol.Eval.Value |
| bitAsLit | Cryptol.Backend, Cryptol.Eval.Value |
| bitComplement | Cryptol.Backend, Cryptol.Eval.Value |
| bitEq | Cryptol.Backend, Cryptol.Eval.Value |
| bitGreaterThan | Cryptol.Eval.Generic |
| bitLessThan | Cryptol.Eval.Generic |
| bitLit | Cryptol.Backend, Cryptol.Eval.Value |
| bitOr | Cryptol.Backend, Cryptol.Eval.Value |
| bitsValueLessThan | Cryptol.Eval.Generic |
| bitXor | Cryptol.Backend, Cryptol.Eval.Value |
| blackhole | Cryptol.Backend.Monad |
| BlockComment | Cryptol.Parser.Lexer |
| bMono | Cryptol.Parser.AST |
| bName | Cryptol.Parser.AST |
| boundLNames | Cryptol.Parser.Names |
| boundNames | Cryptol.Parser.Names |
| boundNamesSet | Cryptol.Parser.Names |
| BoundReservedType | Cryptol.ModuleSystem.Renamer |
| bParams | Cryptol.Parser.AST |
| bPragmas | Cryptol.Parser.AST |
| braces | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| BracketL | Cryptol.Parser.Lexer |
| BracketR | Cryptol.Parser.Lexer |
| brackets | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| bSignature | Cryptol.Parser.AST |
| BuildNamingEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv |
| 2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
| builtInType | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| bumpCounter | Cryptol.TypeCheck.Monad |
| BV | |
| 1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| bvVal | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| calc_k | Cryptol.SHA |
| 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 |
| 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 |
| 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 |
| 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 |
| DBind | Cryptol.Parser.AST |
| dctAsmps | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| dctForall | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| dctGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| dctSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| dDefinition | Cryptol.TypeCheck.AST |
| dDoc | Cryptol.TypeCheck.AST |
| debugBlock | Cryptol.TypeCheck.Solver.SMT |
| debugLog | Cryptol.TypeCheck.Solver.SMT |
| DecFrac | Cryptol.Parser.AST |
| Decl | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.AST |
| Declared | Cryptol.ModuleSystem.Name |
| DeclDef | Cryptol.TypeCheck.AST |
| DeclGroup | Cryptol.TypeCheck.AST |
| DecLit | Cryptol.Parser.AST |
| DeclProvenance | Cryptol.ModuleSystem.Env |
| DeclsArg | Cryptol.REPL.Command |
| declsLinter | Cryptol.ModuleSystem.Base |
| deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| defaultAndSimplify | Cryptol.TypeCheck.Solve |
| defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
| defaultFixity | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| DefaultingKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| defaultingSubst | Cryptol.TypeCheck.Subst |
| DefaultingTo | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| DefaultingWildType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| defaultLiterals | Cryptol.TypeCheck.Default |
| defaultPPOpts | Cryptol.Backend.Monad, Cryptol.Eval.Value, Cryptol.Eval |
| defaultProver | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| defaultReplExpr | Cryptol.TypeCheck.Solve |
| defaultReplExpr' | Cryptol.TypeCheck.Default |
| DefinitionOf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| DefLoc | Cryptol.TypeCheck.Monad |
| Defs | Cryptol.IR.FreeVars |
| defs | Cryptol.IR.FreeVars |
| deIfaceDecls | Cryptol.ModuleSystem.Env |
| DelayedCt | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| delayFill | Cryptol.Backend.Monad |
| deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| Deps | |
| 1 (Type/Class) | Cryptol.IR.FreeVars |
| 2 (Data Constructor) | Cryptol.IR.FreeVars |
| destEProofAbs | Cryptol.Transform.Specialize |
| destEProofApps | Cryptol.Transform.Specialize |
| destETAbs | Cryptol.Transform.Specialize |
| destETApps | Cryptol.Transform.Specialize |
| DExpr | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| DFixity | Cryptol.Parser.AST |
| dFixity | Cryptol.TypeCheck.AST |
| dInfix | Cryptol.TypeCheck.AST |
| DirectoryNotFound | Cryptol.REPL.Monad |
| displayFields | Cryptol.Utils.RecordMap |
| displayOrder | Cryptol.Utils.RecordMap |
| displayVersion | Cryptol.Version |
| distinctV | Cryptol.Eval.Generic |
| DivideByZero | Cryptol.Backend.Monad, Cryptol.Eval |
| divV | Cryptol.Eval.Generic |
| DLocated | Cryptol.Parser.AST |
| dName | Cryptol.TypeCheck.AST |
| Doc | |
| 1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| DocStr | Cryptol.Parser.Lexer |
| doEval | Cryptol.Backend.What4 |
| doLoadModule | Cryptol.ModuleSystem.Base |
| Dot | Cryptol.Parser.Lexer |
| DotDot | Cryptol.Parser.Lexer |
| DotDotDot | Cryptol.Parser.Lexer |
| DParameterConstraint | Cryptol.Parser.AST |
| DParameterFun | Cryptol.Parser.AST |
| DParameterType | Cryptol.Parser.AST |
| DPatBind | Cryptol.Parser.AST |
| DPragma | Cryptol.Parser.AST |
| dPragmas | Cryptol.TypeCheck.AST |
| DPrim | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| DPrimType | Cryptol.Parser.AST |
| DProp | Cryptol.Parser.AST |
| dropLoc | Cryptol.Parser.Position |
| dropSeqMap | Cryptol.Eval.Value |
| DSignature | Cryptol.Parser.AST |
| dSignature | Cryptol.TypeCheck.AST |
| DType | Cryptol.Parser.AST |
| dump | Cryptol.TypeCheck.PP |
| dumpableType | Cryptol.Testing.Random |
| DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| duplicateModuleName | Cryptol.ModuleSystem.Monad |
| duplicates | Cryptol.TypeCheck.Depends |
| DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| E | Cryptol.Eval.Reference |
| EAbs | Cryptol.TypeCheck.AST |
| EApp | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| EAppT | Cryptol.Parser.AST |
| eBinds | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| ECChar | Cryptol.Parser.AST |
| ECFrac | Cryptol.Parser.AST |
| ecFractionV | Cryptol.Eval.Generic |
| eChar | Cryptol.TypeCheck.AST |
| ECNum | Cryptol.Parser.AST |
| ecNumberV | Cryptol.Eval.Generic |
| EComp | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| EComplement | Cryptol.Parser.AST |
| ecSplitV | Cryptol.Eval.Generic |
| ECString | Cryptol.Parser.AST |
| ec_add_nonzero | Cryptol.PrimeEC |
| ec_double | Cryptol.PrimeEC |
| ec_mult | Cryptol.PrimeEC |
| ec_twin_mult | Cryptol.PrimeEC |
| eError | Cryptol.TypeCheck.AST |
| EFromTo | Cryptol.Parser.AST |
| EFun | Cryptol.Parser.AST |
| EGenerate | Cryptol.Parser.AST |
| EIf | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| EInfFrom | Cryptol.Parser.AST |
| EInfix | Cryptol.Parser.AST |
| EList | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| ELit | Cryptol.Parser.AST |
| ELocated | Cryptol.Parser.AST |
| elseTry | Cryptol.TypeCheck.Solver.Types |
| empty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| EmptyArm | Cryptol.TypeCheck.Sanity |
| emptyEnv | Cryptol.Eval.Env, Cryptol.Eval |
| emptyGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| EmptyInput | Cryptol.Parser.AST |
| emptyMGU | Cryptol.TypeCheck.Unify |
| EmptyNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| emptyNameMap | Cryptol.TypeCheck.PP |
| emptyRange | Cryptol.Parser.Position |
| EmptyResult | Cryptol.Symbolic |
| emptyRO | Cryptol.ModuleSystem.Monad |
| emptySubst | Cryptol.TypeCheck.Subst |
| emptySupply | Cryptol.ModuleSystem.Name |
| emptyTM | Cryptol.TypeCheck.TypeMap |
| emptyTrie | Cryptol.REPL.Trie |
| ENeg | Cryptol.Parser.AST |
| enumerateIntBits | Cryptol.Eval.Generic |
| enumerateIntBits' | Cryptol.Eval.Generic |
| enumerateSeqMap | Cryptol.Eval.Value |
| enumerateWordValue | Cryptol.Eval.Value |
| enumerateWordValueRev | Cryptol.Eval.Value |
| EnvBool | Cryptol.REPL.Monad |
| EnvNum | Cryptol.REPL.Monad |
| EnvProg | Cryptol.REPL.Monad |
| EnvString | Cryptol.REPL.Monad |
| envTypes | Cryptol.Eval.Env |
| EnvVal | Cryptol.REPL.Monad |
| envVars | Cryptol.Eval.Env |
| EOF | Cryptol.Parser.Lexer |
| EParens | Cryptol.Parser.AST |
| ePrim | Cryptol.TypeCheck.AST |
| EProofAbs | Cryptol.TypeCheck.AST |
| EProofApp | Cryptol.TypeCheck.AST |
| eqCombine | Cryptol.Eval.Generic |
| EqDef | Cryptol.Parser.Lexer |
| eqV | Cryptol.Eval.Generic |
| ERec | Cryptol.TypeCheck.AST |
| ERecord | Cryptol.Parser.AST |
| Err | |
| 1 (Data Constructor) | Cryptol.Parser.Lexer |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| Error | |
| 1 (Type/Class) | Cryptol.Parser.NoPat |
| 2 (Type/Class) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| 3 (Type/Class) | Cryptol.TypeCheck.Sanity |
| errorImportance | Cryptol.TypeCheck.Error |
| ErrorInFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| errorInFile | Cryptol.ModuleSystem.Monad |
| errorV | Cryptol.Eval.Generic |
| ESel | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| ESet | Cryptol.TypeCheck.AST |
| ESplit | Cryptol.Parser.AST |
| eString | Cryptol.TypeCheck.AST |
| ETAbs | Cryptol.TypeCheck.AST |
| ETApp | Cryptol.TypeCheck.AST |
| ETuple | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| ETyped | Cryptol.Parser.AST |
| eTypes | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| ETypeVal | Cryptol.Parser.AST |
| EUpd | Cryptol.Parser.AST |
| Eval | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.Backend.Monad |
| evalConn | Cryptol.Backend.What4 |
| evalDeclGroup | Cryptol.Eval.Reference |
| evalDecls | |
| 1 (Function) | Cryptol.Eval |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| 3 (Function) | Cryptol.ModuleSystem |
| EvalEnv | |
| 1 (Data Constructor) | Cryptol.Eval.Env |
| 2 (Type/Class) | Cryptol.Eval |
| EvalError | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| evalError | Cryptol.Backend.What4 |
| evalExpr | |
| 1 (Function) | Cryptol.Eval |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| 3 (Function) | Cryptol.ModuleSystem |
| 4 (Function) | Cryptol.Eval.Reference |
| EvalInParamModule | Cryptol.REPL.Monad |
| evalLogger | Cryptol.Backend.Monad, Cryptol.Eval |
| evalNumType | Cryptol.Eval.Type |
| EvalOpts | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.Backend.Monad, Cryptol.Eval |
| evalPanic | |
| 1 (Function) | Cryptol.Backend.Monad |
| 2 (Function) | Cryptol.Backend.What4 |
| 3 (Function) | Cryptol.Backend.SBV |
| evalPartial | Cryptol.Backend.What4 |
| EvalPolyError | Cryptol.REPL.Monad |
| evalPPOpts | Cryptol.Backend.Monad, Cryptol.Eval |
| evalSel | Cryptol.Eval |
| evalSetSel | Cryptol.Eval |
| evalSpark | Cryptol.Backend.Monad |
| evalTF | Cryptol.Eval.Type |
| evalType | Cryptol.Eval.Type |
| evaluate | Cryptol.Eval.Reference |
| evalValType | Cryptol.Eval.Type |
| EVar | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| EWhere | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| exhaustiveTests | Cryptol.Testing.Random |
| existVar | Cryptol.TypeCheck.Monad |
| ExpectedMono | Cryptol.TypeCheck.Sanity |
| ExpectedType | Cryptol.ModuleSystem.Renamer |
| ExpectedValue | Cryptol.ModuleSystem.Renamer |
| explainUnsolvable | Cryptol.TypeCheck.Error |
| exponentBits | Cryptol.Backend.What4.SFloat |
| exportBind | Cryptol.ModuleSystem.Exports |
| ExportSpec | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST |
| ExportType | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| exportType | Cryptol.ModuleSystem.Exports |
| Expr | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Type/Class) | Cryptol.TypeCheck.AST |
| ExprArg | Cryptol.REPL.Command |
| ExprInput | Cryptol.Parser.AST |
| exprLinter | Cryptol.ModuleSystem.Base |
| exprModName | Cryptol.Utils.Ident |
| ExprTypeArg | Cryptol.REPL.Command |
| expV | Cryptol.Eval.Generic |
| extend | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| extendSubst | Cryptol.TypeCheck.Monad |
| extractWord | Cryptol.Backend, Cryptol.Eval.Value |
| extractWordVal | Cryptol.Eval.Generic |
| ExtVar | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| FailedToParameterizeModDefs | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| failedToParameterizeModDefs | Cryptol.ModuleSystem.Monad |
| FailError | Cryptol.Testing.Random |
| FailFalse | Cryptol.Testing.Random |
| fAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| fastSchemaOf | Cryptol.TypeCheck.TypeOf |
| fastTypeOf | Cryptol.TypeCheck.TypeOf |
| FatArrR | Cryptol.Parser.Lexer |
| FCError | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| FCLeft | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| FCRight | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| fieldDivideV | Cryptol.Eval.Generic |
| fieldSet | Cryptol.Utils.RecordMap |
| FileExprArg | Cryptol.REPL.Command |
| FilenameArg | Cryptol.REPL.Command |
| FileNotFound | Cryptol.REPL.Monad |
| filterNames | Cryptol.ModuleSystem.NamingEnv |
| finally | Cryptol.REPL.Monad |
| findCommand | Cryptol.REPL.Command |
| findCommandExact | Cryptol.REPL.Command |
| findFile | Cryptol.ModuleSystem.Base |
| findModule | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| findNbCommand | Cryptol.REPL.Command |
| Fingerprint | Cryptol.ModuleSystem.Fingerprint |
| fingerprint | Cryptol.ModuleSystem.Fingerprint |
| fingerprintFile | Cryptol.ModuleSystem.Fingerprint |
| finiteSeqMap | Cryptol.Eval.Value |
| finNat' | Cryptol.Eval.Type |
| FinType | Cryptol.Symbolic |
| finType | Cryptol.Symbolic |
| Fixity | |
| 1 (Type/Class) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| FixityCmp | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| FixityError | Cryptol.ModuleSystem.Renamer |
| FixityNoBind | Cryptol.Parser.NoPat |
| fixNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| flam | Cryptol.Eval.Value |
| fLevel | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| flitDefaultCandidates | Cryptol.TypeCheck.Default |
| FloatFixed | Cryptol.Backend.Monad |
| FloatFrac | Cryptol.Backend.Monad |
| FloatFree | Cryptol.Backend.Monad |
| floatFromBits | Cryptol.Backend.FloatHelpers |
| floatFromBits' | Cryptol.Backend.FloatHelpers |
| floatFromRational | Cryptol.Backend.FloatHelpers |
| floatName | Cryptol.Utils.Ident |
| floatPrim | Cryptol.Utils.Ident |
| floatPrims | Cryptol.Eval.What4 |
| floatToBits | Cryptol.Backend.FloatHelpers |
| floatToInteger | Cryptol.Backend.FloatHelpers |
| floatToRational | Cryptol.Backend.FloatHelpers |
| floorV | Cryptol.Eval.Generic |
| fmap' | Cryptol.TypeCheck.Subst |
| fmtModName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| focusedEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| focusModule | Cryptol.ModuleSystem.Env |
| foldl'V | Cryptol.Eval.Generic |
| foldlV | Cryptol.Eval.Generic |
| Forall | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| ForceExponent | Cryptol.Backend.Monad |
| forceValue | Cryptol.Eval.Value, Cryptol.Eval |
| forceWordValue | Cryptol.Eval.Value |
| fpActual | Cryptol.Backend.What4.SFloat |
| fpAdd | Cryptol.Backend.What4.SFloat |
| FPArith2 | Cryptol.Backend |
| fpBinArith | |
| 1 (Function) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| 2 (Function) | Cryptol.Backend.What4 |
| fpBinArithV | Cryptol.Eval.Generic |
| fpCheckStatus | Cryptol.Backend.FloatHelpers |
| fpCvtFromRational | Cryptol.Backend.What4 |
| fpCvtToInteger | Cryptol.Backend.What4 |
| fpCvtToRational | Cryptol.Backend.What4 |
| fpDiv | |
| 1 (Function) | Cryptol.Backend.What4.SFloat |
| 2 (Function) | Cryptol.Backend, Cryptol.Eval.Value |
| fpEq | |
| 1 (Function) | Cryptol.Backend.What4.SFloat |
| 2 (Function) | Cryptol.Backend, Cryptol.Eval.Value |
| fpEqIEEE | Cryptol.Backend.What4.SFloat |
| fpExactLit | Cryptol.Backend, Cryptol.Eval.Value |
| fpExpected | Cryptol.Backend.What4.SFloat |
| fpFresh | Cryptol.Backend.What4.SFloat |
| fpFromBinary | Cryptol.Backend.What4.SFloat |
| fpFromInteger | |
| 1 (Function) | Cryptol.Backend.What4.SFloat |
| 2 (Function) | Cryptol.Backend, Cryptol.Eval.Value |
| fpFromRational | Cryptol.Backend.What4.SFloat |
| fpFromRationalLit | Cryptol.Backend.What4.SFloat |
| fpFromReal | Cryptol.Backend.What4.SFloat |
| fpGreaterThan | Cryptol.Backend, Cryptol.Eval.Value |
| fpGtIEEE | Cryptol.Backend.What4.SFloat |
| fpIsInf | Cryptol.Backend.What4.SFloat |
| fpIsNaN | Cryptol.Backend.What4.SFloat |
| fpLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| fpLit | |
| 1 (Function) | Cryptol.Backend.FloatHelpers |
| 2 (Function) | Cryptol.Backend, Cryptol.Eval.Value |
| fpLogicalEq | Cryptol.Backend, Cryptol.Eval.Value |
| fpLtIEEE | Cryptol.Backend.What4.SFloat |
| fpMinus | Cryptol.Backend, Cryptol.Eval.Value |
| fpMul | Cryptol.Backend.What4.SFloat |
| fpMult | Cryptol.Backend, Cryptol.Eval.Value |
| fpNaN | Cryptol.Backend.What4.SFloat |
| fpNeg | |
| 1 (Function) | Cryptol.Backend.What4.SFloat |
| 2 (Function) | Cryptol.Backend, Cryptol.Eval.Value |
| fpOpts | Cryptol.Backend.FloatHelpers |
| fpPlus | Cryptol.Backend, Cryptol.Eval.Value |
| fpPosInf | Cryptol.Backend.What4.SFloat |
| fpPP | Cryptol.Backend.FloatHelpers |
| fpRepr | Cryptol.Backend.What4.SFloat |
| fpReprOf | Cryptol.Backend.What4.SFloat |
| fpRndMode | Cryptol.Eval.Generic |
| fpRndRNA | Cryptol.Eval.Generic |
| fpRndRNE | Cryptol.Eval.Generic |
| fpRndRTN | Cryptol.Eval.Generic |
| fpRndRTP | Cryptol.Eval.Generic |
| fpRndRTZ | Cryptol.Eval.Generic |
| fpRound | |
| 1 (Function) | Cryptol.Backend.What4.SFloat |
| 2 (Function) | Cryptol.Backend.FloatHelpers |
| fpRoundingMode | Cryptol.Backend.What4 |
| fpRoundMode | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| fpSize | Cryptol.Backend.What4.SFloat |
| fpSub | Cryptol.Backend.What4.SFloat |
| fpToBinary | Cryptol.Backend.What4.SFloat |
| fpToInteger | Cryptol.Backend, Cryptol.Eval.Value |
| fpToRational | Cryptol.Backend.What4.SFloat |
| fpToReal | Cryptol.Backend.What4.SFloat |
| FPTypeError | |
| 1 (Type/Class) | Cryptol.Backend.What4.SFloat |
| 2 (Data Constructor) | Cryptol.Backend.What4.SFloat |
| fpWho | Cryptol.Backend.What4.SFloat |
| Frac | Cryptol.Parser.Lexer |
| FracInfo | Cryptol.Parser.AST |
| freeParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| FreeTypeVariable | Cryptol.TypeCheck.Sanity |
| FreeVars | Cryptol.IR.FreeVars |
| freeVars | Cryptol.IR.FreeVars |
| freshBitVar | Cryptol.Symbolic |
| freshBV_ | Cryptol.Backend.SBV |
| freshFloatVar | Cryptol.Symbolic |
| freshIntegerVar | Cryptol.Symbolic |
| FreshM | Cryptol.ModuleSystem.Name |
| freshName | |
| 1 (Function) | Cryptol.Transform.Specialize |
| 2 (Function) | Cryptol.REPL.Monad |
| freshSBool_ | Cryptol.Backend.SBV |
| freshSInteger_ | Cryptol.Backend.SBV |
| freshVar | Cryptol.Symbolic |
| FreshVarFns | |
| 1 (Type/Class) | Cryptol.Symbolic |
| 2 (Data Constructor) | Cryptol.Symbolic |
| freshWordVar | Cryptol.Symbolic |
| From | Cryptol.TypeCheck.AST |
| from | Cryptol.Parser.Position |
| fromBigEndianSBS | Cryptol.SHA |
| FromDecl | Cryptol.TypeCheck.Depends |
| fromGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| FromImport | Cryptol.ModuleSystem.Monad |
| fromIntegerV | Cryptol.Eval.Generic |
| FromModule | Cryptol.ModuleSystem.Monad |
| FromModuleInstance | Cryptol.ModuleSystem.Monad |
| fromNat | Cryptol.TypeCheck.Solver.InfNat |
| fromSeq | Cryptol.Eval.Value |
| fromThenToV | Cryptol.Eval.Generic |
| fromToV | Cryptol.Eval.Generic |
| fromVBit | Cryptol.Eval.Value |
| fromVFloat | Cryptol.Eval.Value |
| fromVFun | Cryptol.Eval.Value |
| fromVInteger | Cryptol.Eval.Value |
| fromVNumPoly | Cryptol.Eval.Value |
| fromVPoly | Cryptol.Eval.Value |
| fromVRational | Cryptol.Eval.Value |
| fromVRecord | Cryptol.Eval.Value |
| fromVSeq | Cryptol.Eval.Value |
| fromVTuple | Cryptol.Eval.Value |
| fromVWord | Cryptol.Eval.Value |
| fromWordVal | Cryptol.Eval.Value |
| fromZV | Cryptol.Eval.Generic |
| fsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| FTBit | Cryptol.Symbolic |
| FTFloat | Cryptol.Symbolic |
| FTInteger | Cryptol.Symbolic |
| FTIntMod | Cryptol.Symbolic |
| FTRational | Cryptol.Symbolic |
| FTRecord | Cryptol.Symbolic |
| FTSeq | Cryptol.Symbolic |
| FTTuple | Cryptol.Symbolic |
| fullyQualified | Cryptol.ModuleSystem.Base |
| FunApp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| funLogger | Cryptol.Utils.Logger |
| FVS | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst |
| fvs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst |
| Gen | Cryptol.Testing.Random |
| GeneratorOfListComp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| GenEvalEnv | Cryptol.Eval.Env |
| genIface | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
| genInferInput | Cryptol.ModuleSystem.Base |
| genLog | Cryptol.TypeCheck.Solver.InfNat |
| genRoot | Cryptol.TypeCheck.Solver.InfNat |
| GenValue | Cryptol.Eval.Value |
| getAbstractTypes | Cryptol.TypeCheck.Monad |
| getBoundInScope | Cryptol.TypeCheck.Monad |
| getByteReader | Cryptol.ModuleSystem.Monad |
| getDynEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | Cryptol.REPL.Monad |
| getEditPath | Cryptol.REPL.Monad |
| getEvalEnv | Cryptol.ModuleSystem.Monad |
| getEvalOpts | Cryptol.ModuleSystem.Monad |
| getExprNames | Cryptol.REPL.Monad |
| getFocusedEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | Cryptol.REPL.Monad |
| getFocusedModule | Cryptol.ModuleSystem.Monad |
| getGoals | Cryptol.TypeCheck.Monad |
| getHasGoals | Cryptol.TypeCheck.Monad |
| getIdent | Cryptol.Parser.Name, Cryptol.Parser.AST |
| getIface | Cryptol.ModuleSystem.Monad |
| getImportSource | Cryptol.ModuleSystem.Monad |
| getKnownUser | Cryptol.REPL.Monad |
| getLoaded | Cryptol.ModuleSystem.Monad |
| getLoadedMaybe | Cryptol.ModuleSystem.Monad |
| getLoadedMod | Cryptol.REPL.Monad |
| getLoadedModules | Cryptol.ModuleSystem.Env |
| getLoc | Cryptol.Parser.Position |
| getLogger | Cryptol.REPL.Monad |
| getModName | Cryptol.Parser.Name, Cryptol.Parser.AST |
| getModNames | Cryptol.REPL.Monad |
| getModuleEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | Cryptol.REPL.Monad |
| getMonoBinds | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.ModuleSystem.Monad |
| getNameFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| getNameSeeds | Cryptol.ModuleSystem.Monad |
| getNewtypes | Cryptol.TypeCheck.Monad |
| getParamConstraints | Cryptol.TypeCheck.Monad |
| getParamFuns | Cryptol.TypeCheck.Monad |
| getParamTypes | Cryptol.TypeCheck.Monad |
| getPrimMap | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| 3 (Function) | Cryptol.ModuleSystem |
| getPrompt | Cryptol.REPL.Monad |
| getPropertyNames | Cryptol.REPL.Monad |
| getProverConfig | Cryptol.REPL.Monad |
| getPutStr | Cryptol.REPL.Monad |
| getSearchPath | Cryptol.ModuleSystem.Monad |
| getSolver | Cryptol.TypeCheck.Monad |
| getSolverConfig | Cryptol.ModuleSystem.Monad |
| getSpecCache | Cryptol.Transform.Specialize |
| getSubst | Cryptol.TypeCheck.Monad |
| getSupply | Cryptol.ModuleSystem.Monad |
| getSym | Cryptol.Backend.What4 |
| getTSyns | Cryptol.TypeCheck.Monad |
| getTVars | Cryptol.TypeCheck.Monad |
| getTypeNames | Cryptol.REPL.Monad |
| getUser | Cryptol.REPL.Monad |
| getUserProverValidate | Cryptol.REPL.Monad |
| getUserSatNum | Cryptol.REPL.Monad |
| getUserShowProverStats | Cryptol.REPL.Monad |
| Goal | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goalRange | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| Goals | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goalSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goalsFromList | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goalSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| goalToLitGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| greaterThanEqV | Cryptol.Eval.Generic |
| greaterThanV | Cryptol.Eval.Generic |
| groupDecls | Cryptol.TypeCheck.AST |
| guarded | Cryptol.TypeCheck.Solver.Types |
| guessPreProc | Cryptol.Parser.Unlit, Cryptol.Parser |
| handleCtrlC | Cryptol.REPL.Command |
| handleLogger | Cryptol.Utils.Logger |
| hang | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| HappyError | Cryptol.Parser |
| HappyErrorMsg | Cryptol.Parser |
| HappyOutOfTokens | Cryptol.Parser |
| HappyUnexpected | Cryptol.Parser |
| HasCallStack | Cryptol.Utils.Panic |
| hasDoSelect | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| hasDoSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| HasGoal | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| hasGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| HasGoalSln | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| HasKind | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| HasLoc | Cryptol.Parser.Position |
| hasName | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| hasParamModules | Cryptol.ModuleSystem.Env |
| hcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| HelpArg | Cryptol.REPL.Command |
| HexFrac | Cryptol.Parser.AST |
| HexLit | Cryptol.Parser.AST |
| Hiding | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| hsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| 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 |
| initialSHA224State | Cryptol.SHA |
| initialSHA256State | Cryptol.SHA |
| initialSHA384State | Cryptol.SHA |
| initialSHA512State | Cryptol.SHA |
| 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.Backend, Cryptol.Eval.Value |
| integer | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| integerAsLit | Cryptol.Backend, Cryptol.Eval.Value |
| integerLit | Cryptol.Backend, Cryptol.Eval.Value |
| integerToBigNat | Cryptol.PrimeEC |
| integerToChar | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| integralBinary | Cryptol.Eval.Generic |
| intEq | Cryptol.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.Backend, Cryptol.Eval.Value |
| intLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| intMinus | Cryptol.Backend, Cryptol.Eval.Value |
| intMod | Cryptol.Backend, Cryptol.Eval.Value |
| intMult | Cryptol.Backend, Cryptol.Eval.Value |
| intNegate | Cryptol.Backend, Cryptol.Eval.Value |
| intPlus | Cryptol.Backend, Cryptol.Eval.Value |
| intShifter | Cryptol.Eval.Generic |
| intToRational | Cryptol.Backend |
| intToZn | Cryptol.Backend, Cryptol.Eval.Value |
| intV | Cryptol.Eval.Generic |
| InvalidChar | Cryptol.Parser.Lexer |
| InvalidConstraint | Cryptol.ModuleSystem.Renamer |
| InvalidIndex | Cryptol.Backend.Monad, Cryptol.Eval |
| invalidIndex | Cryptol.Backend |
| InvalidInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| InvalidString | Cryptol.Parser.Lexer |
| invMixColumns | Cryptol.AES |
| io | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.Backend.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.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.Backend, Cryptol.Eval.Value |
| iteInteger | Cryptol.Backend, Cryptol.Eval.Value |
| iteRational | Cryptol.Backend |
| iteValue | Cryptol.Eval.Generic |
| iteWord | Cryptol.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 |
| joinSeq | Cryptol.Eval.Generic |
| joinV | Cryptol.Eval.Generic |
| joinWord | Cryptol.Backend, Cryptol.Eval.Value |
| joinWords | Cryptol.Eval.Generic |
| joinWordVal | Cryptol.Eval.Generic |
| kCtrs | Cryptol.TypeCheck.Monad |
| kExistTVar | Cryptol.TypeCheck.Monad |
| Key | Cryptol.AES |
| keyExpansionWords | Cryptol.AES |
| KFun | Cryptol.Parser.AST |
| Kind | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Type/Class) | Cryptol.Parser.AST |
| KindM | Cryptol.TypeCheck.Monad |
| KindMismatch | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.Sanity |
| kindOf | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| kindResult | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| kInInferM | Cryptol.TypeCheck.Monad |
| kInRange | Cryptol.TypeCheck.Monad |
| kInstantiateT | Cryptol.TypeCheck.Monad |
| kIO | Cryptol.TypeCheck.Monad |
| kLookupAbstractType | Cryptol.TypeCheck.Monad |
| kLookupNewtype | Cryptol.TypeCheck.Monad |
| kLookupParamType | Cryptol.TypeCheck.Monad |
| kLookupTSyn | Cryptol.TypeCheck.Monad |
| kLookupTyVar | Cryptol.TypeCheck.Monad |
| KM | Cryptol.TypeCheck.Monad |
| kNewGoals | Cryptol.TypeCheck.Monad |
| kNewType | Cryptol.TypeCheck.Monad |
| knownExts | Cryptol.Parser.Unlit |
| KNum | |
| 1 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| KProp | |
| 1 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| kRecordError | Cryptol.TypeCheck.Monad |
| kRecordWarning | Cryptol.TypeCheck.Monad |
| KRO | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| KRW | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| kSetKind | Cryptol.TypeCheck.Monad |
| KType | |
| 1 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| KW | Cryptol.Parser.Lexer |
| kWildOK | Cryptol.TypeCheck.Monad |
| KW_as | Cryptol.Parser.Lexer |
| KW_constraint | Cryptol.Parser.Lexer |
| KW_else | Cryptol.Parser.Lexer |
| KW_extern | Cryptol.Parser.Lexer |
| KW_fin | Cryptol.Parser.Lexer |
| KW_hiding | Cryptol.Parser.Lexer |
| KW_if | Cryptol.Parser.Lexer |
| KW_import | Cryptol.Parser.Lexer |
| KW_include | Cryptol.Parser.Lexer |
| KW_inf | Cryptol.Parser.Lexer |
| KW_infix | Cryptol.Parser.Lexer |
| KW_infixl | Cryptol.Parser.Lexer |
| KW_infixr | Cryptol.Parser.Lexer |
| KW_lengthFromThen | Cryptol.Parser.Lexer |
| KW_lengthFromThenTo | Cryptol.Parser.Lexer |
| KW_let | Cryptol.Parser.Lexer |
| KW_lg2 | Cryptol.Parser.Lexer |
| KW_max | Cryptol.Parser.Lexer |
| KW_min | Cryptol.Parser.Lexer |
| KW_module | Cryptol.Parser.Lexer |
| KW_newtype | Cryptol.Parser.Lexer |
| KW_parameter | Cryptol.Parser.Lexer |
| KW_pragma | Cryptol.Parser.Lexer |
| KW_primitive | Cryptol.Parser.Lexer |
| KW_private | Cryptol.Parser.Lexer |
| KW_Prop | Cryptol.Parser.Lexer |
| KW_property | Cryptol.Parser.Lexer |
| KW_then | Cryptol.Parser.Lexer |
| KW_type | Cryptol.Parser.Lexer |
| KW_where | Cryptol.Parser.Lexer |
| KW_x | Cryptol.Parser.Lexer |
| L | Cryptol.TypeCheck.TypeMap |
| lam | Cryptol.Eval.Value |
| Lambda | Cryptol.Parser.Lexer |
| largeBitSize | Cryptol.Eval.Value |
| LargeBitsVal | Cryptol.Eval.Value |
| LaTeX | Cryptol.Parser.Unlit, Cryptol.Parser |
| Layout | |
| 1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
| lazyIte | Cryptol.Backend.What4 |
| lazyTParams | Cryptol.TypeCheck.Monad |
| LBindDef | Cryptol.Parser.AST |
| leaves | Cryptol.REPL.Trie |
| LeftAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| LenOfCompGen | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| LenOfSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| lessThanEqV | Cryptol.Eval.Generic |
| lessThanV | Cryptol.Eval.Generic |
| Let | Cryptol.TypeCheck.AST |
| LetInput | Cryptol.Parser.AST |
| lexCombine | Cryptol.Eval.Generic |
| lexer | Cryptol.Parser.Lexer |
| LexicalError | Cryptol.Parser.Lexer |
| lg2 | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| lg2V | Cryptol.Eval.Generic |
| LIdent | Cryptol.Parser.AST |
| liftBinIntMod | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| liftModuleCmd | Cryptol.REPL.Command |
| liftPJ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftPJ1 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftPJ2 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| liftSpecT | Cryptol.Transform.Specialize |
| liftSupply | Cryptol.ModuleSystem.Name |
| line | Cryptol.Parser.Position |
| LineComment | Cryptol.Parser.Lexer |
| lintCheck | Cryptol.ModuleSystem.Base |
| lintModule | Cryptol.ModuleSystem.Base |
| List | Cryptol.TypeCheck.TypeMap |
| list | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| listParamSubst | Cryptol.TypeCheck.Subst |
| ListSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| listSubst | Cryptol.TypeCheck.Subst |
| lit | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Literal | Cryptol.Parser.AST |
| literalGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| literalSWord | Cryptol.Backend.SBV |
| LitGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| litGoalToGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| LkpTyVar | Cryptol.TypeCheck.Monad |
| lmFilePath | Cryptol.ModuleSystem.Env |
| lmFingerprint | Cryptol.ModuleSystem.Env |
| lmInterface | Cryptol.ModuleSystem.Env |
| lmLoadedModules | Cryptol.ModuleSystem.Env |
| lmLoadedParamModules | Cryptol.ModuleSystem.Env |
| lmModule | Cryptol.ModuleSystem.Env |
| lmModuleId | Cryptol.ModuleSystem.Env |
| lmName | Cryptol.ModuleSystem.Env |
| lName | Cryptol.REPL.Monad |
| loadCmd | Cryptol.REPL.Command |
| loadDeps | Cryptol.ModuleSystem.Base |
| LoadedModule | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| 3 (Type/Class) | Cryptol.REPL.Monad |
| 4 (Data Constructor) | Cryptol.REPL.Monad |
| loadedModule | Cryptol.ModuleSystem.Monad |
| LoadedModules | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| loadedModules | Cryptol.ModuleSystem.Env |
| loadedNonParamModules | Cryptol.ModuleSystem.Env |
| loading | Cryptol.ModuleSystem.Monad |
| loadingImport | Cryptol.ModuleSystem.Monad |
| loadingModInstance | Cryptol.ModuleSystem.Monad |
| loadingModule | Cryptol.ModuleSystem.Monad |
| loadModuleByName | Cryptol.ModuleSystem |
| loadModuleByPath | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| loadModuleFrom | Cryptol.ModuleSystem.Base |
| loadPrelude | Cryptol.REPL.Command |
| Located | |
| 1 (Type/Class) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| Logger | Cryptol.Utils.Logger |
| logicBinary | Cryptol.Eval.Generic |
| logicShift | Cryptol.Eval.Generic |
| logicUnary | Cryptol.Eval.Generic |
| LogNegative | Cryptol.Backend.Monad, Cryptol.Eval |
| logPrint | Cryptol.Utils.Logger |
| logPutStr | Cryptol.Utils.Logger |
| logPutStrLn | Cryptol.Utils.Logger |
| lookupAbstractType | Cryptol.TypeCheck.Monad |
| lookupField | Cryptol.Utils.RecordMap |
| lookupModule | Cryptol.ModuleSystem.Env |
| lookupNewtype | Cryptol.TypeCheck.Monad |
| lookupParamFun | Cryptol.TypeCheck.Monad |
| lookupParamType | Cryptol.TypeCheck.Monad |
| lookupPrimDecl | Cryptol.ModuleSystem.Name |
| lookupPrimType | Cryptol.ModuleSystem.Name |
| lookupRecord | Cryptol.Eval.Value |
| lookupSeqMap | Cryptol.Eval.Value |
| lookupTM | Cryptol.TypeCheck.TypeMap |
| lookupTParam | Cryptol.TypeCheck.Monad |
| lookupTrie | Cryptol.REPL.Trie |
| lookupTrieExact | Cryptol.REPL.Trie |
| lookupTSyn | Cryptol.TypeCheck.Monad |
| lookupType | Cryptol.Eval.Env |
| lookupTypeNames | Cryptol.ModuleSystem.NamingEnv |
| lookupValNames | Cryptol.ModuleSystem.NamingEnv |
| lookupVar | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.Eval.Env |
| LoopError | Cryptol.Backend.Monad, Cryptol.Eval |
| lPath | Cryptol.REPL.Monad |
| LPName | Cryptol.Parser.AST |
| lshr | Cryptol.Backend.SBV |
| LString | Cryptol.Parser.AST |
| MalformedBuiltin | Cryptol.ModuleSystem.Renamer |
| MalformedLiteral | Cryptol.Parser.Lexer |
| MalformedSelector | Cryptol.Parser.Lexer |
| mapMaybeTM | Cryptol.TypeCheck.TypeMap |
| mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap |
| mapSeqMap | Cryptol.Eval.Value |
| mapTM | Cryptol.TypeCheck.TypeMap |
| mapWithFieldName | Cryptol.Utils.RecordMap |
| mapWithKeyTM | Cryptol.TypeCheck.TypeMap |
| Markdown | Cryptol.Parser.Unlit, Cryptol.Parser |
| mask | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| Match | |
| 1 (Type/Class) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 2 (Data Constructor) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| 5 (Type/Class) | Cryptol.TypeCheck.AST |
| match | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchDefault | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| MatchLet | Cryptol.Parser.AST |
| matchMaybe | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchThen | Cryptol.TypeCheck.Solver.Types |
| maxBigIntWidth | Cryptol.Backend.Arch |
| MaybeCheckedType | Cryptol.TypeCheck.Instantiate |
| maybeNameDoc | Cryptol.TypeCheck.Parseable |
| maybeReady | Cryptol.Backend.Monad |
| mctxDecls | Cryptol.ModuleSystem.Env |
| mctxNameDisp | Cryptol.ModuleSystem.Env |
| mctxNames | Cryptol.ModuleSystem.Env |
| mctxParams | Cryptol.ModuleSystem.Env |
| mctxTypeProvenace | Cryptol.ModuleSystem.Env |
| mctxValueProvenance | Cryptol.ModuleSystem.Env |
| mDecls | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| meCoreLint | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meDynEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meEvalEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meFocusedModule | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meLoadedModules | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| membersTM | Cryptol.TypeCheck.TypeMap |
| memoMap | Cryptol.Eval.Value |
| meMonoBinds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meNameSeeds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| merge | Cryptol.ModuleSystem.NamingEnv |
| mergeEval | Cryptol.Backend, Cryptol.Eval.Value |
| mergeSeqMap | Cryptol.Eval.Generic |
| mergeValue | Cryptol.Eval.Generic |
| mergeValue' | Cryptol.Eval.Generic |
| mergeWord | Cryptol.Eval.Generic |
| mergeWord' | Cryptol.Eval.Generic |
| meSearchPath | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meSolverConfig | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meSupply | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| mExports | Cryptol.TypeCheck.AST |
| MGU | Cryptol.TypeCheck.Unify |
| mgu | Cryptol.TypeCheck.Unify |
| mguMany | Cryptol.TypeCheck.Unify |
| mImports | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mInstance | Cryptol.Parser.AST |
| MissingField | Cryptol.TypeCheck.Sanity |
| MissingModTParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| MissingModVParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| mkBv | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| mkDeclared | Cryptol.ModuleSystem.Name |
| mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkIfaceDecl | Cryptol.ModuleSystem.Interface |
| mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkLit | Cryptol.Eval.Generic |
| mkParameter | Cryptol.ModuleSystem.Name |
| mkQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mkScc | Cryptol.TypeCheck.Depends |
| mkSeq | Cryptol.Eval.Value |
| mkUnqual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mName | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mNewtypes | Cryptol.TypeCheck.AST |
| ModContext | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| modelPred | Cryptol.Symbolic |
| modExports | Cryptol.ModuleSystem.Exports |
| modify | Cryptol.Transform.Specialize |
| modifyEvalEnv | Cryptol.ModuleSystem.Monad |
| modifyModuleEnv | Cryptol.ModuleSystem.Monad |
| modifySpecCache | Cryptol.Transform.Specialize |
| ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| ModNameArg | Cryptol.REPL.Command |
| modNameChunks | Cryptol.Utils.Ident |
| modNameToText | Cryptol.Utils.Ident |
| modParamIdent | Cryptol.Utils.Ident |
| modParamsNamingEnv | Cryptol.ModuleSystem.NamingEnv |
| modRange | Cryptol.Parser.AST |
| ModTParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| modTyParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Module | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.AST |
| ModuleCmd | Cryptol.ModuleSystem |
| moduleCmd | Cryptol.REPL.Command |
| moduleCmdResult | Cryptol.REPL.Command |
| moduleDeps | Cryptol.IR.FreeVars |
| ModuleEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| moduleEnv | Cryptol.Eval |
| ModuleError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleFile | Cryptol.ModuleSystem.Base |
| moduleLinter | Cryptol.ModuleSystem.Base |
| ModuleM | Cryptol.ModuleSystem.Monad |
| ModuleNameMismatch | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNameMismatch | Cryptol.ModuleSystem.Monad |
| ModuleNotFound | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNotFound | Cryptol.ModuleSystem.Monad |
| ModuleParseError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleParseError | Cryptol.ModuleSystem.Monad |
| ModulePath | Cryptol.ModuleSystem.Env |
| modulePathLabel | Cryptol.ModuleSystem.Env |
| ModuleRes | Cryptol.ModuleSystem |
| ModuleSystemError | Cryptol.REPL.Monad |
| ModuleT | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| ModuleWarning | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| modV | Cryptol.Eval.Generic |
| ModVParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST |
| move | Cryptol.Parser.Position |
| moves | Cryptol.Parser.Position |
| mParamConstraints | Cryptol.TypeCheck.AST |
| mParamFuns | Cryptol.TypeCheck.AST |
| mParamTypes | Cryptol.TypeCheck.AST |
| mPrimTypes | Cryptol.TypeCheck.AST |
| mtpDoc | Cryptol.TypeCheck.AST |
| mtpKind | Cryptol.TypeCheck.AST |
| mtpName | Cryptol.TypeCheck.AST |
| mtpNumber | Cryptol.TypeCheck.AST |
| mtpParam | Cryptol.TypeCheck.AST |
| mTySyns | Cryptol.TypeCheck.AST |
| MultipleDocs | Cryptol.Parser.NoPat |
| MultipleFixities | Cryptol.Parser.NoPat |
| MultipleSignatures | Cryptol.Parser.NoPat |
| MultipleSyms | Cryptol.ModuleSystem.Renamer |
| mulV | Cryptol.Eval.Generic |
| mvpDoc | Cryptol.TypeCheck.AST |
| mvpFixity | Cryptol.TypeCheck.AST |
| mvpName | Cryptol.TypeCheck.AST |
| mvpType | Cryptol.TypeCheck.AST |
| nAdd | Cryptol.TypeCheck.Solver.InfNat |
| Name | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
| name | Cryptol.Parser.AST |
| Named | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| NamedInst | Cryptol.Parser.AST |
| NameDisp | |
| 1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| nameFixity | Cryptol.ModuleSystem.Name |
| NameFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| nameIdent | Cryptol.ModuleSystem.Name |
| NameInfo | Cryptol.ModuleSystem.Name |
| nameInfo | Cryptol.ModuleSystem.Name |
| NameIsDynamicDecl | Cryptol.ModuleSystem.Env |
| NameIsImportedFrom | Cryptol.ModuleSystem.Env |
| NameIsLocalPrivate | Cryptol.ModuleSystem.Env |
| NameIsLocalPublic | Cryptol.ModuleSystem.Env |
| NameIsParameter | Cryptol.ModuleSystem.Env |
| nameList | Cryptol.TypeCheck.PP |
| nameLoc | Cryptol.ModuleSystem.Name |
| NameMap | Cryptol.TypeCheck.PP, Cryptol.TypeCheck |
| namesArm | Cryptol.Parser.Names |
| namesB | Cryptol.Parser.Names |
| namesD | Cryptol.Parser.Names |
| namesDef | Cryptol.Parser.Names |
| namesDs | Cryptol.Parser.Names |
| namesE | Cryptol.Parser.Names |
| NameSeeds | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| nameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| namesM | Cryptol.Parser.Names |
| NameSource | Cryptol.ModuleSystem.Name |
| namesP | Cryptol.Parser.Names |
| namesPs | Cryptol.Parser.Names |
| namesUF | Cryptol.Parser.Names |
| nameUnique | Cryptol.ModuleSystem.Name |
| NamingEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| 2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
| namingEnv | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| namingEnv' | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| Nat | Cryptol.TypeCheck.Solver.InfNat |
| Nat' | Cryptol.TypeCheck.Solver.InfNat |
| nBody | Cryptol.Parser.AST |
| nCeilDiv | Cryptol.TypeCheck.Solver.InfNat |
| nCeilMod | Cryptol.TypeCheck.Solver.InfNat |
| nDiv | Cryptol.TypeCheck.Solver.InfNat |
| neExprs | Cryptol.ModuleSystem.NamingEnv |
| negateV | Cryptol.Eval.Generic |
| NegativeExponent | Cryptol.Backend.Monad, Cryptol.Eval |
| nest | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| neTypes | Cryptol.ModuleSystem.NamingEnv |
| neverQualify | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| neverQualifyMod | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| newGoal | Cryptol.TypeCheck.Monad |
| newGoalName | Cryptol.TypeCheck.Monad |
| newGoals | Cryptol.TypeCheck.Monad |
| newHasGoal | Cryptol.TypeCheck.Monad |
| NewIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| newLocal | Cryptol.ModuleSystem.NamingEnv |
| NewName | Cryptol.Parser.Name, Cryptol.Parser.AST |
| newName | Cryptol.TypeCheck.Monad |
| newParamName | Cryptol.TypeCheck.Monad |
| newTop | Cryptol.ModuleSystem.NamingEnv |
| newTParam | Cryptol.TypeCheck.Monad |
| newTVar | Cryptol.TypeCheck.Monad |
| newTVar' | Cryptol.TypeCheck.Monad |
| Newtype | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| newType | Cryptol.TypeCheck.Monad |
| newtypeConType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| newtypeParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| newtypeTyCon | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| nExp | Cryptol.TypeCheck.Solver.InfNat |
| nextUnique | Cryptol.ModuleSystem.Name |
| nextUniqueM | Cryptol.ModuleSystem.Name |
| nil | Cryptol.TypeCheck.TypeMap |
| nlam | Cryptol.Eval.Value |
| nLenFromThenTo | Cryptol.TypeCheck.Solver.InfNat |
| nLg2 | Cryptol.TypeCheck.Solver.InfNat |
| nMax | Cryptol.TypeCheck.Solver.InfNat |
| nMin | Cryptol.TypeCheck.Solver.InfNat |
| nMod | Cryptol.TypeCheck.Solver.InfNat |
| nMul | Cryptol.TypeCheck.Solver.InfNat |
| nName | Cryptol.Parser.AST |
| NoArg | Cryptol.REPL.Command |
| noArgDescr | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| NoChange | Cryptol.TypeCheck.Solver.Numeric.Interval |
| NoCoreLint | Cryptol.ModuleSystem.Env |
| Node | Cryptol.REPL.Trie |
| noFreeVariables | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| noIfaceParams | Cryptol.ModuleSystem.Interface |
| NoIncludeError | Cryptol.REPL.Monad |
| NoIncludeErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| noIncludeErrors | Cryptol.ModuleSystem.Monad |
| NoLayout | Cryptol.Parser.Lexer, Cryptol.Parser |
| noModuleName | Cryptol.Utils.Ident |
| NonAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| None | Cryptol.Parser.Unlit, Cryptol.Parser |
| NonRecursive | Cryptol.TypeCheck.AST |
| NoPat | Cryptol.Parser.Name, Cryptol.Parser.AST |
| noPat | |
| 1 (Function) | Cryptol.ModuleSystem.Base |
| 2 (Function) | Cryptol.ModuleSystem |
| NoPatError | Cryptol.REPL.Monad |
| NoPatErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| noPatErrors | Cryptol.ModuleSystem.Monad |
| NoPos | Cryptol.Parser.AST |
| noPos | Cryptol.Parser.AST |
| NoPrim | Cryptol.Backend.Monad, Cryptol.Eval |
| NotAParameterizedModule | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| notAParameterizedModule | Cryptol.ModuleSystem.Monad |
| NotEnoughArgumentsInKind | Cryptol.TypeCheck.Sanity |
| NotForAll | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| NotInScope | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| notParamInstModName | Cryptol.Utils.Ident |
| NoWildCards | Cryptol.TypeCheck.Monad |
| nParams | Cryptol.Parser.AST |
| nSub | Cryptol.TypeCheck.Solver.InfNat |
| NT | Cryptol.TypeCheck.Depends |
| ntConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| ntDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| ntFields | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| ntName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| ntParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| nullGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| nullIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| nullTM | Cryptol.TypeCheck.TypeMap |
| Num | Cryptol.Parser.Lexer |
| NumInfo | Cryptol.Parser.AST |
| nWidth | Cryptol.TypeCheck.Solver.InfNat |
| OctFrac | Cryptol.Parser.AST |
| OctLit | Cryptol.Parser.AST |
| offlineProveSat | Cryptol.REPL.Command |
| onlineProveSat | Cryptol.REPL.Command |
| Only | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| Op | Cryptol.Parser.Lexer |
| op1 | Cryptol.TypeCheck.SimpType |
| op2 | Cryptol.TypeCheck.SimpType |
| op3 | Cryptol.TypeCheck.SimpType |
| optCheck | Cryptol.REPL.Monad |
| optDefault | Cryptol.REPL.Monad |
| optEff | Cryptol.REPL.Monad |
| optHelp | Cryptol.REPL.Monad |
| OptionArg | Cryptol.REPL.Command |
| OptionDescr | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| optName | Cryptol.REPL.Monad |
| optParens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| orderBinds | Cryptol.TypeCheck.Depends |
| orderTyDecls | Cryptol.TypeCheck.Depends |
| ordinal | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ordSuffix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| orV | Cryptol.Eval.Generic |
| OtherFailure | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| OtherIOError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| otherIOError | Cryptol.ModuleSystem.Monad |
| OverlappingRecordUpdate | Cryptol.ModuleSystem.Renamer |
| OverlappingSyms | Cryptol.ModuleSystem.Renamer |
| packIdent | Cryptol.Utils.Ident |
| packInfix | Cryptol.Utils.Ident |
| packModName | Cryptol.Utils.Ident |
| packWord | Cryptol.Backend, Cryptol.Eval.Value |
| padSHA1 | Cryptol.SHA |
| padSHA1Chunks | Cryptol.SHA |
| padSHA512 | Cryptol.SHA |
| padSHA512Chunks | Cryptol.SHA |
| PAnd | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pAnd | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Panic | Cryptol.Utils.Panic |
| panic | Cryptol.Utils.Panic |
| Parameter | Cryptol.ModuleSystem.Name |
| ParameterFun | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| ParameterType | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| paramInstModName | Cryptol.Utils.Ident |
| paramModRecParam | Cryptol.ModuleSystem.Name |
| ParenL | Cryptol.Parser.Lexer |
| ParenR | Cryptol.Parser.Lexer |
| parens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| parmapV | Cryptol.Eval.Generic |
| parseCommand | Cryptol.REPL.Command |
| parseDecl | Cryptol.Parser |
| parseDecls | Cryptol.Parser |
| parseDeclsWith | Cryptol.Parser |
| parseDeclWith | Cryptol.Parser |
| ParseError | |
| 1 (Type/Class) | Cryptol.Parser |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| parseExpr | Cryptol.Parser |
| parseExprWith | Cryptol.Parser |
| parseHelpName | Cryptol.Parser |
| parseLetDecl | Cryptol.Parser |
| parseLetDeclWith | Cryptol.Parser |
| parseModName | Cryptol.Parser |
| parseModule | |
| 1 (Function) | Cryptol.Parser |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| parsePPFloatFormat | Cryptol.REPL.Monad |
| parseProgram | Cryptol.Parser |
| parseProgramWith | Cryptol.Parser |
| parseRepl | Cryptol.Parser |
| parseReplWith | Cryptol.Parser |
| parseSchema | Cryptol.Parser |
| parseSchemaWith | Cryptol.Parser |
| Pass | |
| 1 (Type/Class) | Cryptol.Parser.Name, Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Testing.Random |
| Pat | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Pattern | Cryptol.Parser.AST |
| PC | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pcExpr | Cryptol.Symbolic |
| pcExtraDecls | Cryptol.Symbolic |
| pcIgnoreSafety | Cryptol.Symbolic |
| PCmp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pcProverName | Cryptol.Symbolic |
| pcProverStats | Cryptol.Symbolic |
| pcQueryType | Cryptol.Symbolic |
| pcSchema | Cryptol.Symbolic |
| pcSmtFile | Cryptol.Symbolic |
| pcValidate | Cryptol.Symbolic |
| pcVerbose | Cryptol.Symbolic |
| pdiv | Cryptol.F2 |
| PEq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pEq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PEqual | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pfDoc | Cryptol.Parser.AST |
| pfFixity | Cryptol.Parser.AST |
| PField | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PFin | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pFin | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PFLiteral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pfName | Cryptol.Parser.AST |
| pfSchema | Cryptol.Parser.AST |
| PGeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PHas | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pHas | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pickTVarName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PIntegral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIntegral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsEq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsEqual | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsFin | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsFLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsGeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsIntegral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsLogic | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsPrime | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsRing | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsRound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsSignedCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsTrue | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsValidFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsWidth | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pIsZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PList | Cryptol.Parser.AST |
| PLiteral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PLocated | Cryptol.Parser.AST |
| PLogic | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pLogic | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pmod | Cryptol.F2 |
| pmult | Cryptol.F2 |
| PName | Cryptol.Parser.Name, Cryptol.Parser.AST |
| PNeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PolyLit | Cryptol.Parser.AST |
| PosInst | Cryptol.Parser.AST |
| Position | |
| 1 (Type/Class) | Cryptol.Parser.Position |
| 2 (Data Constructor) | Cryptol.Parser.Position |
| PP | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| pp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppBit | Cryptol.Backend, Cryptol.Eval.Value |
| ppBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| ppEnv | Cryptol.Eval.Env |
| ppError | |
| 1 (Function) | Cryptol.Parser |
| 2 (Function) | Cryptol.TypeCheck |
| ppEValue | Cryptol.Eval.Reference |
| ppFloat | Cryptol.Backend, Cryptol.Eval.Value |
| PPFloatExp | Cryptol.Backend.Monad |
| PPFloatFormat | Cryptol.Backend.Monad |
| ppIncludeError | Cryptol.Parser.NoInclude |
| ppInfix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppInfixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppInteger | Cryptol.Backend, Cryptol.Eval.Value |
| ppInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| ppIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
| ppLam | Cryptol.TypeCheck.AST |
| ppLocName | Cryptol.ModuleSystem.Name |
| PPName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppNamedError | Cryptol.TypeCheck |
| ppNamedWarning | Cryptol.TypeCheck |
| ppNameFixity | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppNestedSels | Cryptol.Parser.Selector |
| ppNewtypeShort | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PPOpts | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.Backend.Monad, Cryptol.Eval |
| ppPrec | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppPrefixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppRational | Cryptol.Backend |
| PPrime | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pPrime | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| ppSelector | Cryptol.Parser.Selector, Cryptol.Parser.AST |
| ppTrace | Cryptol.Utils.Debug |
| ppUse | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| ppValue | |
| 1 (Function) | Cryptol.Eval.Value |
| 2 (Function) | Cryptol.Eval.Reference |
| ppWarning | Cryptol.TypeCheck |
| ppWithNames | Cryptol.TypeCheck.PP |
| ppWithNamesPrec | Cryptol.TypeCheck.PP |
| ppWord | Cryptol.Backend, Cryptol.Eval.Value |
| Pragma | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| PragmaNoBind | Cryptol.Parser.NoPat |
| PragmaNote | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| PragmaProperty | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| precisionBits | Cryptol.Backend.What4.SFloat |
| PRecord | Cryptol.Parser.AST |
| predArgTypes | Cryptol.Symbolic |
| PredicateFalsified | Cryptol.Symbolic |
| prelPrim | Cryptol.Utils.Ident |
| preludeName | Cryptol.Utils.Ident |
| preludeReferenceName | Cryptol.Utils.Ident |
| prependSearchPath | Cryptol.REPL.Monad |
| PreProc | Cryptol.Parser.Unlit, Cryptol.Parser |
| pretty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| primDecls | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
| primeECName | Cryptol.Utils.Ident |
| primeECPrim | Cryptol.Utils.Ident |
| PrimeModulus | Cryptol.PrimeEC |
| primeModulus | Cryptol.PrimeEC |
| primeTable | Cryptol.TypeCheck.Solver.Numeric |
| PrimIdent | |
| 1 (Type/Class) | Cryptol.Utils.Ident |
| 2 (Data Constructor) | Cryptol.Utils.Ident |
| primLexer | Cryptol.Parser.Lexer |
| PrimMap | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
| primTable | |
| 1 (Function) | Cryptol.Eval.What4 |
| 2 (Function) | Cryptol.Eval.SBV |
| 3 (Function) | Cryptol.Eval.Concrete |
| primTCts | Cryptol.Parser.AST |
| primTFixity | Cryptol.Parser.AST |
| primTKind | Cryptol.Parser.AST |
| primTName | Cryptol.Parser.AST |
| PrimType | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| primTypes | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
| PRing | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pRing | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Private | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| processSHA256Block | Cryptol.SHA |
| processSHA512Block | Cryptol.SHA |
| Program | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| ProjectivePoint | |
| 1 (Type/Class) | Cryptol.PrimeEC |
| 2 (Data Constructor) | Cryptol.PrimeEC |
| ProofObligation | Cryptol.TypeCheck.Sanity |
| Prop | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Type/Class) | Cryptol.Parser.AST |
| propInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| PropSyn | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| propSynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PRound | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pRound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| proveCmd | Cryptol.REPL.Command |
| proveImp | Cryptol.TypeCheck.Solver.SMT |
| proveImplication | Cryptol.TypeCheck.Solve |
| proveModuleTopLevel | Cryptol.TypeCheck.Solve |
| ProveQuery | Cryptol.Symbolic |
| ProverCommand | |
| 1 (Type/Class) | Cryptol.Symbolic |
| 2 (Data Constructor) | Cryptol.Symbolic |
| ProverError | Cryptol.Symbolic |
| proverNames | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| ProverResult | Cryptol.Symbolic |
| ProverStats | Cryptol.Symbolic |
| PS | Cryptol.TypeCheck.Depends |
| psFixity | Cryptol.Parser.AST |
| PSignedCmp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pSignedCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| psName | Cryptol.Parser.AST |
| PSplit | Cryptol.Parser.AST |
| pSplitAnd | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PT | Cryptol.TypeCheck.Depends |
| ptDoc | Cryptol.Parser.AST |
| ptFixity | Cryptol.Parser.AST |
| ptKind | Cryptol.Parser.AST |
| ptName | Cryptol.Parser.AST |
| ptNumber | Cryptol.Parser.AST |
| PTrue | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pTrue | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PTuple | Cryptol.Parser.AST |
| PTyped | Cryptol.Parser.AST |
| Public | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| punctuate | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| PValidFloat | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pValidFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PVar | Cryptol.Parser.AST |
| PWild | Cryptol.Parser.AST |
| px | Cryptol.PrimeEC |
| py | Cryptol.PrimeEC |
| pz | Cryptol.PrimeEC |
| PZero | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| qcCmd | Cryptol.REPL.Command |
| QCExhaust | Cryptol.REPL.Command |
| QCMode | Cryptol.REPL.Command |
| QCRandom | Cryptol.REPL.Command |
| Qual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| Qualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| qualify | Cryptol.ModuleSystem.NamingEnv |
| QueryType | Cryptol.Symbolic |
| quickApply | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| quietLogger | Cryptol.Utils.Logger |
| quotes | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| raise | Cryptol.REPL.Monad |
| raiseError | Cryptol.Backend, Cryptol.Eval.Value |
| randomTests | Cryptol.Testing.Random |
| randomV | Cryptol.Eval.Generic |
| randomValue | Cryptol.Testing.Random |
| Range | |
| 1 (Type/Class) | Cryptol.Parser.Position |
| 2 (Data Constructor) | Cryptol.Parser.Position |
| ratio | Cryptol.Backend |
| rationalAdd | Cryptol.Backend |
| rationalCeiling | Cryptol.Backend |
| rationalDivide | Cryptol.Backend |
| rationalEq | Cryptol.Backend |
| rationalFloor | Cryptol.Backend |
| rationalGreaterThan | Cryptol.Backend |
| rationalLessThan | Cryptol.Backend |
| rationalMul | Cryptol.Backend |
| rationalNegate | Cryptol.Backend |
| rationalRecip | Cryptol.Backend |
| rationalRoundAway | Cryptol.Backend |
| rationalRoundToEven | Cryptol.Backend |
| rationalSub | Cryptol.Backend |
| rationalTrunc | Cryptol.Backend |
| ratioV | Cryptol.Eval.Generic |
| rComb | Cryptol.Parser.Position |
| rCombs | Cryptol.Parser.Position |
| readBytes | Cryptol.ModuleSystem.Monad |
| Ready | Cryptol.Backend.Monad |
| ready | Cryptol.Backend.Monad |
| recipV | Cryptol.Eval.Generic |
| recordElements | Cryptol.Utils.RecordMap |
| recordError | Cryptol.TypeCheck.Monad |
| recordFromFields | Cryptol.Utils.RecordMap |
| recordFromFieldsErr | Cryptol.Utils.RecordMap |
| recordFromFieldsWithDisplay | Cryptol.Utils.RecordMap |
| RecordMap | Cryptol.Utils.RecordMap |
| recordMapAccum | Cryptol.Utils.RecordMap |
| RecordSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| recordWarning | Cryptol.TypeCheck.Monad |
| Recursive | Cryptol.TypeCheck.AST |
| RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| recursiveModules | Cryptol.ModuleSystem.Monad |
| RecursiveType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| RecursiveTypeDecls | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| removeIncludesModule | Cryptol.Parser.NoInclude |
| removeLoadedModule | Cryptol.ModuleSystem.Env |
| RemovePatterns | Cryptol.Parser.NoPat |
| removePatterns | Cryptol.Parser.NoPat |
| Rename | Cryptol.ModuleSystem.Renamer |
| rename | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenameM | Cryptol.ModuleSystem.Renamer |
| renameModule | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenamerError | Cryptol.ModuleSystem.Renamer |
| RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerErrors | Cryptol.ModuleSystem.Monad |
| RenamerWarning | Cryptol.ModuleSystem.Renamer |
| RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerWarnings | Cryptol.ModuleSystem.Monad |
| renameType | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| renameVar | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| renderOneLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| RepeatedTypeParameter | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| RepeatedVariableInForall | Cryptol.TypeCheck.Sanity |
| REPL | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| replCheckExpr | Cryptol.REPL.Command |
| replEvalExpr | Cryptol.REPL.Command |
| REPLException | Cryptol.REPL.Monad |
| ReplInput | Cryptol.Parser.AST |
| replParse | Cryptol.REPL.Command |
| replParseExpr | Cryptol.REPL.Command |
| reportProp | Cryptol.Testing.Random |
| reportResult | Cryptol.Testing.Random |
| reportTestsPossible | Cryptol.Testing.Random |
| reportTestsRun | Cryptol.Testing.Random |
| resetModuleEnv | Cryptol.ModuleSystem.Env |
| Result | Cryptol.TypeCheck.Unify |
| rethrowEvalError | Cryptol.REPL.Monad |
| returnTests | Cryptol.Testing.Random |
| reverseSeqMap | Cryptol.Eval.Value |
| reverseV | Cryptol.Eval.Generic |
| rewModule | Cryptol.Transform.MonoValues |
| RightAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| ringBinary | Cryptol.Eval.Generic |
| ringNullary | Cryptol.Eval.Generic |
| ringUnary | Cryptol.Eval.Generic |
| RO | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| 3 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 4 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| roEvalOpts | Cryptol.ModuleSystem.Monad |
| roFileReader | Cryptol.ModuleSystem.Monad |
| roLoading | Cryptol.ModuleSystem.Monad |
| rootExact | Cryptol.TypeCheck.Solver.InfNat |
| rotateLeftReindex | Cryptol.Eval.Generic |
| rotateRightReindex | Cryptol.Eval.Generic |
| rotateShrink | Cryptol.Eval.Generic |
| roundAwayV | Cryptol.Eval.Generic |
| roundOp | Cryptol.Eval.Generic |
| roundToEvenV | Cryptol.Eval.Generic |
| rPrint | Cryptol.REPL.Monad |
| rPutStr | Cryptol.REPL.Monad |
| rPutStrLn | Cryptol.REPL.Monad |
| runBuild | Cryptol.ModuleSystem.NamingEnv |
| runCommand | Cryptol.REPL.Command |
| runDoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| runEval | Cryptol.Backend.Monad, Cryptol.Eval |
| runInferM | Cryptol.TypeCheck.Monad |
| runKindM | Cryptol.TypeCheck.Monad |
| runModuleM | Cryptol.ModuleSystem.Monad |
| runModuleT | Cryptol.ModuleSystem.Monad |
| runRenamer | Cryptol.ModuleSystem.Renamer |
| runREPL | Cryptol.REPL.Monad |
| runResult | Cryptol.TypeCheck.Unify |
| runSpecT | Cryptol.Transform.Specialize |
| runSupplyT | Cryptol.ModuleSystem.Name |
| RW | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| SafetyQuery | Cryptol.Symbolic |
| SafetyViolation | Cryptol.Symbolic |
| same | Cryptol.TypeCheck.Sanity |
| sanitize | Cryptol.REPL.Command |
| satCmd | Cryptol.REPL.Command |
| SatNum | Cryptol.Symbolic |
| satProve | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| satProveOffline | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| SatQuery | Cryptol.Symbolic |
| saturatedAsmps | Cryptol.TypeCheck.Solver.Types |
| saturatedPropSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| SBit | Cryptol.Backend, Cryptol.Eval.Value |
| SBV | |
| 1 (Type/Class) | Cryptol.Backend.SBV |
| 2 (Data Constructor) | Cryptol.Backend.SBV |
| sbvDefRelations | Cryptol.Backend.SBV |
| SBVError | |
| 1 (Data Constructor) | Cryptol.Backend.SBV |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| SBVEval | |
| 1 (Type/Class) | Cryptol.Backend.SBV |
| 2 (Data Constructor) | Cryptol.Backend.SBV |
| sbvEval | Cryptol.Backend.SBV |
| SBVException | Cryptol.REPL.Monad |
| SBVPortfolioException | |
| 1 (Type/Class) | Cryptol.Symbolic.SBV |
| 2 (Data Constructor) | Cryptol.Symbolic.SBV |
| 3 (Data Constructor) | Cryptol.REPL.Monad |
| SBVProverConfig | Cryptol.Symbolic.SBV |
| SBVResult | |
| 1 (Type/Class) | Cryptol.Backend.SBV |
| 2 (Data Constructor) | Cryptol.Backend.SBV |
| sbvStateVar | Cryptol.Backend.SBV |
| Schema | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Type/Class) | Cryptol.Parser.AST |
| schemaParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| sDeclareHole | Cryptol.Backend, Cryptol.Eval.Value |
| sDelay | Cryptol.Backend |
| sDelayFill | Cryptol.Backend, Cryptol.Eval.Value |
| sDenom | Cryptol.Backend |
| sdivV | Cryptol.Eval.Generic |
| seedGoal | Cryptol.TypeCheck.Monad |
| seedTVar | Cryptol.TypeCheck.Monad |
| Selector | |
| 1 (Type/Class) | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.Lexer |
| selName | Cryptol.Parser.Selector |
| selSrc | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| Semi | Cryptol.Parser.Lexer |
| sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| SeqMap | Cryptol.Eval.Value |
| setDocString | Cryptol.TypeCheck.Depends |
| setDynEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | Cryptol.REPL.Monad |
| setEditPath | Cryptol.REPL.Monad |
| setFocusedModule | Cryptol.ModuleSystem.Monad |
| setLoadedMod | Cryptol.REPL.Monad |
| setModuleEnv | |
| 1 (Function) | Cryptol.ModuleSystem.Monad |
| 2 (Function) | Cryptol.REPL.Monad |
| setMonoBinds | Cryptol.ModuleSystem.Monad |
| setNameSeeds | Cryptol.ModuleSystem.Monad |
| setOptionCmd | Cryptol.REPL.Command |
| setPutStr | Cryptol.REPL.Monad |
| setSearchPath | Cryptol.REPL.Monad |
| setSolver | Cryptol.ModuleSystem.Monad |
| setSpecCache | Cryptol.Transform.Specialize |
| setSupply | Cryptol.ModuleSystem.Monad |
| setUpdateREPLTitle | Cryptol.REPL.Monad |
| setupProver | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| setUser | Cryptol.REPL.Monad |
| SEval | Cryptol.Backend, Cryptol.Eval.Value |
| SFloat | |
| 1 (Type/Class) | Cryptol.Backend.What4.SFloat |
| 2 (Data Constructor) | Cryptol.Backend.What4.SFloat |
| 3 (Type/Class) | Cryptol.Backend, Cryptol.Eval.Value |
| SFloatBinArith | Cryptol.Backend.What4.SFloat |
| SFloatRel | Cryptol.Backend.What4.SFloat |
| SHA256Block | |
| 1 (Type/Class) | Cryptol.SHA |
| 2 (Data Constructor) | Cryptol.SHA |
| SHA256S | Cryptol.SHA |
| SHA256State | Cryptol.SHA |
| SHA512Block | |
| 1 (Type/Class) | Cryptol.SHA |
| 2 (Data Constructor) | Cryptol.SHA |
| SHA512S | Cryptol.SHA |
| SHA512State | Cryptol.SHA |
| shadowing | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
| shadowNames | Cryptol.ModuleSystem.Renamer |
| ShellArg | Cryptol.REPL.Command |
| shiftLeftReindex | Cryptol.Eval.Generic |
| shiftRightReindex | Cryptol.Eval.Generic |
| shiftShrink | Cryptol.Eval.Generic |
| shl | Cryptol.Backend.SBV |
| shouldContinue | Cryptol.REPL.Monad |
| ShowParseable | Cryptol.TypeCheck.Parseable |
| showParseable | Cryptol.TypeCheck.Parseable |
| shrinkModel | Cryptol.TypeCheck.Solver.SMT |
| SignatureNoBind | Cryptol.Parser.NoPat |
| signedBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| signedLessThanV | Cryptol.Eval.Generic |
| signedValue | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| simpGoal | Cryptol.TypeCheck.Monad |
| simpGoals | Cryptol.TypeCheck.Monad |
| simplify | Cryptol.TypeCheck.SimpleSolver |
| simplifyAllConstraints | Cryptol.TypeCheck.Solve |
| simplifyStep | Cryptol.TypeCheck.SimpleSolver |
| singleSubst | Cryptol.TypeCheck.Subst |
| singletonE | Cryptol.ModuleSystem.NamingEnv |
| singletonT | Cryptol.ModuleSystem.NamingEnv |
| singleTParamSubst | Cryptol.TypeCheck.Subst |
| SInteger | Cryptol.Backend, Cryptol.Eval.Value |
| sLg2 | Cryptol.Backend.What4 |
| sModAdd | Cryptol.Backend.What4 |
| sModMult | Cryptol.Backend.What4 |
| sModNegate | Cryptol.Backend.What4 |
| sModRecip | Cryptol.Backend.What4 |
| sModSub | Cryptol.Backend.What4 |
| smodV | Cryptol.Eval.Generic |
| Smoke | Cryptol.REPL.Monad |
| smokeTest | Cryptol.REPL.Monad |
| sNum | Cryptol.Backend |
| solveCmpInst | Cryptol.TypeCheck.Solver.Class |
| Solved | Cryptol.TypeCheck.Solver.Types |
| SolvedIf | Cryptol.TypeCheck.Solver.Types |
| solveEqInst | Cryptol.TypeCheck.Solver.Class |
| solveFieldInst | Cryptol.TypeCheck.Solver.Class |
| solveFLiteralInst | Cryptol.TypeCheck.Solver.Class |
| solveHasGoal | Cryptol.TypeCheck.Monad |
| solveIntegralInst | Cryptol.TypeCheck.Solver.Class |
| solveLiteralInst | Cryptol.TypeCheck.Solver.Class |
| solveLogicInst | Cryptol.TypeCheck.Solver.Class |
| solveOpts | Cryptol.TypeCheck.Solver.Types |
| Solver | Cryptol.TypeCheck.Solver.SMT |
| solverArgs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| SolverConfig | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| SolverCtxt | Cryptol.TypeCheck.Solver.Types |
| solveRingInst | Cryptol.TypeCheck.Solver.Class |
| solveRoundInst | Cryptol.TypeCheck.Solver.Class |
| solverPath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| solverPreludePath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| solverVerbose | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| solveSignedCmpInst | Cryptol.TypeCheck.Solver.Class |
| solveValidFloat | Cryptol.TypeCheck.Solver.Class |
| solveZeroInst | Cryptol.TypeCheck.Solver.Class |
| SomeSat | Cryptol.Symbolic |
| SomeSymFn | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| source | Cryptol.Parser.Position |
| Space | Cryptol.Parser.Lexer |
| sparkParMap | Cryptol.Eval.Generic |
| SpecCache | Cryptol.Transform.Specialize |
| specialize | Cryptol.Transform.Specialize |
| specializeConst | Cryptol.Transform.Specialize |
| specializeDeclGroups | Cryptol.Transform.Specialize |
| specializeEWhere | Cryptol.Transform.Specialize |
| specializeExpr | Cryptol.Transform.Specialize |
| specializeMatch | Cryptol.Transform.Specialize |
| SpecM | Cryptol.Transform.Specialize |
| SpecT | Cryptol.Transform.Specialize |
| splitAbs | Cryptol.TypeCheck.AST |
| splitAtV | Cryptol.Eval.Generic |
| splitCommand | Cryptol.REPL.Command |
| splitConstFactor | Cryptol.TypeCheck.Solver.Utils |
| splitConstSummand | Cryptol.TypeCheck.Solver.Utils |
| splitExprInst | Cryptol.TypeCheck.AST |
| splitProofAbs | Cryptol.TypeCheck.AST |
| splitProofApp | Cryptol.TypeCheck.AST |
| splitSeqMap | Cryptol.Eval.Value |
| splitTAbs | Cryptol.TypeCheck.AST |
| splitTApp | Cryptol.TypeCheck.AST |
| splitVarSummand | Cryptol.TypeCheck.Solver.Utils |
| splitVarSummands | Cryptol.TypeCheck.Solver.Utils |
| splitWhile | Cryptol.TypeCheck.AST |
| splitWord | Cryptol.Backend, Cryptol.Eval.Value |
| splitWordVal | Cryptol.Eval.Generic |
| sProps | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| SRational | |
| 1 (Type/Class) | Cryptol.Backend |
| 2 (Data Constructor) | Cryptol.Backend |
| srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| sSpark | Cryptol.Backend, Cryptol.Eval.Value |
| start | Cryptol.Parser.Position |
| State | Cryptol.AES |
| stderrLogger | Cryptol.Utils.Logger |
| stdoutLogger | Cryptol.Utils.Logger |
| stop | Cryptol.REPL.Monad |
| streamSeqMap | Cryptol.Eval.Value |
| StrLit | Cryptol.Parser.Lexer |
| SType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| sType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Subst | Cryptol.TypeCheck.Subst |
| substBinds | Cryptol.TypeCheck.Subst |
| SubstError | Cryptol.TypeCheck.Subst |
| SubstEscaped | Cryptol.TypeCheck.Subst |
| SubstKindMismatch | Cryptol.TypeCheck.Subst |
| SubstRecursive | Cryptol.TypeCheck.Subst |
| substToList | Cryptol.TypeCheck.Subst |
| subsumes | Cryptol.TypeCheck.Error |
| subV | Cryptol.Eval.Generic |
| succeed | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| suiteBName | Cryptol.Utils.Ident |
| suiteBPrim | Cryptol.Utils.Ident |
| superclassSet | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Supply | Cryptol.ModuleSystem.Name |
| SupplyT | Cryptol.ModuleSystem.Name |
| sVars | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| svFromInteger | Cryptol.Backend.SBV |
| svToInteger | Cryptol.Backend.SBV |
| SWord | Cryptol.Backend, Cryptol.Eval.Value |
| Sym | Cryptol.Parser.Lexer |
| SymbolShadowed | Cryptol.ModuleSystem.Renamer |
| SystemName | Cryptol.ModuleSystem.Name |
| tAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tAdd | Cryptol.TypeCheck.SimpType |
| tArray | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TBit | Cryptol.Parser.AST |
| tBit | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TC | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCAbstract | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCAction | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Base |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Base |
| tcAction | Cryptol.ModuleSystem.Base |
| TCAdd | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCArray | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCBit | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCCeilDiv | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCCeilMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tcDecls | |
| 1 (Function) | Cryptol.TypeCheck.Sanity |
| 2 (Function) | Cryptol.TypeCheck |
| TCDiv | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tCeilDiv | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| tCeilMod | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| TCExp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tcExpr | |
| 1 (Function) | Cryptol.TypeCheck.Sanity |
| 2 (Function) | Cryptol.TypeCheck |
| TCFloat | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCFun | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TChar | Cryptol.Parser.AST |
| tChar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCInf | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCInteger | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCIntMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCLenFromThenTo | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCLinter | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Base |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Base |
| tcLinter | Cryptol.ModuleSystem.Base |
| TCMax | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCMin | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tcModule | |
| 1 (Function) | Cryptol.TypeCheck.Sanity |
| 2 (Function) | Cryptol.TypeCheck |
| tcModuleInst | Cryptol.TypeCheck |
| TCMul | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCNewtype | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCNum | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCon | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tCon | Cryptol.TypeCheck.SimpType |
| tcon | Cryptol.TypeCheck.TypeMap |
| tcPrims | Cryptol.ModuleSystem.Base |
| TCRational | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCSeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCSub | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCTuple | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TCWidth | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tDiv | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| TDNewtype | Cryptol.Parser.AST |
| TError | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tError | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| testableType | Cryptol.Testing.Random |
| TestReport | |
| 1 (Type/Class) | Cryptol.Testing.Random |
| 2 (Data Constructor) | Cryptol.Testing.Random |
| TestResult | Cryptol.Testing.Random |
| tExp | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| text | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| textToModName | Cryptol.Utils.Ident |
| TF | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tf1 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tf2 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tf3 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TFun | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| tFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tHasErrors | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| thing | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
| ThmResult | Cryptol.Symbolic |
| Thunk | Cryptol.Backend.Monad |
| tInf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TInfix | Cryptol.Parser.AST |
| tInteger | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIntMod | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsBinFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsBit | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsError | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsInf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsInteger | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsIntMod | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsNat' | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsNum | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsRational | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsTuple | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tIsVar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tlam | Cryptol.Eval.Value |
| tlDoc | Cryptol.Parser.AST |
| tLenFromThenTo | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| tlExport | Cryptol.Parser.AST |
| TLocalVar | Cryptol.TypeCheck.Monad |
| TLocated | Cryptol.Parser.AST |
| tlValue | Cryptol.Parser.AST |
| TM | Cryptol.TypeCheck.TypeMap |
| tMax | Cryptol.TypeCheck.SimpType |
| tMin | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| tMod | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| tMono | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tMul | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| tnamesB | Cryptol.Parser.Names |
| tnamesC | Cryptol.Parser.Names |
| tnamesD | Cryptol.Parser.Names |
| tnamesDef | Cryptol.Parser.Names |
| tnamesDs | Cryptol.Parser.Names |
| tnamesE | Cryptol.Parser.Names |
| tnamesM | Cryptol.Parser.Names |
| tnamesNT | Cryptol.Parser.Names |
| tnamesP | Cryptol.Parser.Names |
| tnamesS | Cryptol.Parser.Names |
| tnamesT | Cryptol.Parser.Names |
| tnamesTI | Cryptol.Parser.Names |
| tnamesUF | Cryptol.Parser.Names |
| tNat' | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tNoUser | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TNum | Cryptol.Parser.AST |
| tNum | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| to | Cryptol.Parser.Position |
| toBigEndianSBS | Cryptol.SHA |
| toBind | Cryptol.TypeCheck.Depends |
| toExpr | Cryptol.Eval.Concrete |
| toFinSeq | Cryptol.Eval.Value |
| toIntegerV | Cryptol.Eval.Generic |
| Token | |
| 1 (Type/Class) | Cryptol.Parser.Lexer |
| 2 (Data Constructor) | Cryptol.Parser.Lexer |
| TokenErr | Cryptol.Parser.Lexer |
| TokenKW | Cryptol.Parser.Lexer |
| TokenSym | Cryptol.Parser.Lexer |
| TokenT | Cryptol.Parser.Lexer |
| tokenText | Cryptol.Parser.Lexer |
| tokenType | Cryptol.Parser.Lexer |
| TokenV | Cryptol.Parser.Lexer |
| TokenW | Cryptol.Parser.Lexer |
| toListTM | Cryptol.TypeCheck.TypeMap |
| toNameDisp | Cryptol.ModuleSystem.NamingEnv |
| tOne | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TooFewTyParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| TooManyPositionalTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| TooManyTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| TooManyTySynParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| tOp | Cryptol.TypeCheck.SimpType |
| toParamConstraints | Cryptol.TypeCheck.Depends |
| toParamFun | Cryptol.TypeCheck.Depends |
| toParamInstName | Cryptol.ModuleSystem.Name |
| TopDecl | Cryptol.Parser.AST |
| TopLevel | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| toPrimMap | Cryptol.ModuleSystem.NamingEnv |
| toSeq | Cryptol.Eval.Value |
| toStream | Cryptol.Eval.Value |
| total | |
| 1 (Function) | Cryptol.TypeCheck.SimpType |
| 2 (Function) | Cryptol.Backend.What4 |
| toTyDecl | Cryptol.TypeCheck.Depends |
| TOuterVar | Cryptol.TypeCheck.Monad |
| TParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| TParens | Cryptol.Parser.AST |
| tpFlav | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TPFlavor | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpfName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpInfo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpKind | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.Parser.AST |
| TPModParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpName | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.Parser.AST |
| TPOther | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpRange | Cryptol.Parser.AST |
| tpUnique | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tpVar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| trace | Cryptol.Utils.Debug |
| transDeps | Cryptol.IR.FreeVars |
| translateExprToNumT | Cryptol.Parser.Utils |
| transposeV | Cryptol.Eval.Generic |
| tRational | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| traverseRecordMap | Cryptol.Utils.RecordMap |
| traverseSnd | Cryptol.Transform.Specialize |
| travNamingEnv | Cryptol.ModuleSystem.NamingEnv |
| tRebuild | Cryptol.TypeCheck.SimpType |
| tRebuild' | Cryptol.TypeCheck.SimpType |
| TRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| trec | Cryptol.TypeCheck.TypeMap |
| TRecord | Cryptol.Parser.AST |
| Trie | Cryptol.REPL.Trie |
| TrieMap | Cryptol.TypeCheck.TypeMap |
| TriL | Cryptol.Parser.Lexer |
| TriR | Cryptol.Parser.Lexer |
| truncV | Cryptol.Eval.Generic |
| tryFromBits | Cryptol.Eval.Value |
| tryGetModel | Cryptol.TypeCheck.Solver.SMT |
| tryGetUser | Cryptol.REPL.Monad |
| tryHasGoal | Cryptol.TypeCheck.Solver.Selector |
| TS | Cryptol.TypeCheck.Depends |
| tsConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tsDef | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tsDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TSeq | Cryptol.Parser.AST |
| tSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tsFixity | Cryptol.Parser.AST |
| tsName | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.Parser.AST |
| tsParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tSplitFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tString | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tSub | |
| 1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Function) | Cryptol.TypeCheck.SimpType |
| TTuple | Cryptol.Parser.AST |
| tTuple | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tTwo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TTyApp | Cryptol.Parser.AST |
| TupleSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| TupleSelectorOutOfRange | Cryptol.TypeCheck.Sanity |
| TUser | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| TVAbstract | Cryptol.Eval.Type |
| tValTy | Cryptol.Eval.Type |
| TValue | Cryptol.Eval.Type |
| TVar | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tvar | Cryptol.TypeCheck.TypeMap |
| tvarDesc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVarInfo | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tvarInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| TVArray | Cryptol.Eval.Type |
| TVars | Cryptol.TypeCheck.Subst |
| tvarSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVBit | Cryptol.Eval.Type |
| TVBound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVFloat | Cryptol.Eval.Type |
| TVFree | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVFromModParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVFromSignature | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVFun | Cryptol.Eval.Type |
| tvInfo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVInteger | Cryptol.Eval.Type |
| TVIntMod | Cryptol.Eval.Type |
| TVRational | Cryptol.Eval.Type |
| TVRec | Cryptol.Eval.Type |
| TVSeq | Cryptol.Eval.Type |
| tvSeq | Cryptol.Eval.Type |
| tvSourceName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TVStream | Cryptol.Eval.Type |
| TVTuple | Cryptol.Eval.Type |
| tvUnique | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tWidth | Cryptol.TypeCheck.SimpType |
| TWild | Cryptol.Parser.AST |
| tWord | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| twsSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| twsType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| tyArgName | Cryptol.TypeCheck.Instantiate |
| tyArgType | Cryptol.TypeCheck.Instantiate |
| TyDecl | Cryptol.TypeCheck.Depends |
| tyDeps | Cryptol.IR.FreeVars |
| tyParams | Cryptol.IR.FreeVars |
| Type | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Type/Class) | Cryptol.Parser.AST |
| TypeArg | |
| 1 (Type/Class) | Cryptol.TypeCheck.Instantiate |
| 2 (Data Constructor) | Cryptol.TypeCheck.Instantiate |
| TypeCannotBeDemoted | Cryptol.Backend.Monad, Cryptol.Eval |
| typeCannotBeDemoted | Cryptol.Backend.Monad |
| typecheck | Cryptol.ModuleSystem.Base |
| TypeCheckingFailed | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| typeCheckingFailed | Cryptol.ModuleSystem.Monad |
| TypeCheckWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| typeCheckWarnings | Cryptol.ModuleSystem.Monad |
| TypeEnv | Cryptol.Eval.Type |
| TypeErrorPlaceHolder | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeFromUserAnnotation | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeInst | Cryptol.Parser.AST |
| typeInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| TypeMap | Cryptol.TypeCheck.TypeMap |
| TypeMismatch | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.Sanity |
| TypeNotTestable | Cryptol.REPL.Monad |
| TypeOfArg | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeOfIfCondExpr | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeOfRecordField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeOfRes | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeOfSeqElement | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeOfTupleField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeParamInstNamed | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeParamInstPos | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| typeParams | Cryptol.TypeCheck.Monad |
| TypeShadowing | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| TypesMap | Cryptol.TypeCheck.TypeMap |
| TypeSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeVariableEscaped | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| TypeWildCard | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TypeWithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TySyn | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| tySynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| TyVarWithParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| tZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Unary | Cryptol.Eval.Generic |
| unary | Cryptol.Eval.Generic |
| unaryBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| UnaryWord | Cryptol.Eval.Generic |
| UnboundExpr | Cryptol.ModuleSystem.Renamer |
| UnboundType | Cryptol.ModuleSystem.Renamer |
| Unchecked | Cryptol.TypeCheck.Instantiate |
| uncheckedSingleSubst | Cryptol.TypeCheck.Subst |
| uncheckedTypeArg | Cryptol.TypeCheck.Instantiate |
| UndefinedExistVar | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| UndefinedTypeParameter | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| UndefinedTypeVaraible | Cryptol.TypeCheck.Sanity |
| UndefinedVariable | Cryptol.TypeCheck.Sanity |
| Underscore | Cryptol.Parser.Lexer |
| UnexpectedRecordShape | Cryptol.TypeCheck.Sanity |
| UnexpectedSequenceShape | Cryptol.TypeCheck.Sanity |
| UnexpectedTupleShape | Cryptol.TypeCheck.Sanity |
| UnexpectedTypeWildCard | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| unFinType | Cryptol.Symbolic |
| uniError | Cryptol.TypeCheck.Unify |
| UnificationError | Cryptol.TypeCheck.Unify |
| unify | Cryptol.TypeCheck.Monad |
| UniKindMismatch | Cryptol.TypeCheck.Unify |
| unIM | Cryptol.TypeCheck.Monad |
| UniNonPoly | Cryptol.TypeCheck.Unify |
| UniNonPolyDepends | Cryptol.TypeCheck.Unify |
| unionTM | Cryptol.TypeCheck.TypeMap |
| uniqify | Cryptol.REPL.Monad |
| UniRecursive | Cryptol.TypeCheck.Unify |
| UniTypeLenMismatch | Cryptol.TypeCheck.Unify |
| UniTypeMismatch | Cryptol.TypeCheck.Unify |
| unKM | Cryptol.TypeCheck.Monad |
| Unknown | Cryptol.REPL.Command |
| unlessBatch | Cryptol.REPL.Monad |
| unLit | Cryptol.Parser.Unlit |
| unloadModule | Cryptol.ModuleSystem.Monad |
| unModuleT | Cryptol.ModuleSystem.Monad |
| unpackIdent | Cryptol.Utils.Ident |
| unpackWord | Cryptol.Backend, Cryptol.Eval.Value |
| UnQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| UnQualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| unqualifiedEnv | Cryptol.ModuleSystem.NamingEnv |
| unREPL | Cryptol.REPL.Monad |
| Unsolvable | Cryptol.TypeCheck.Solver.Types |
| UnsolvableGoals | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| Unsolved | Cryptol.TypeCheck.Solver.Types |
| UnsolvedDelayedCt | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| UnsolvedGoals | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| Unsupported | |
| 1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| UnsupportedFloat | |
| 1 (Type/Class) | Cryptol.Backend.What4.SFloat |
| 2 (Data Constructor) | Cryptol.Backend.What4.SFloat |
| UnsupportedSymbolicOp | Cryptol.Backend.Monad, Cryptol.Eval |
| UnterminatedChar | Cryptol.Parser.Lexer |
| UnterminatedComment | Cryptol.Parser.Lexer |
| UnterminatedString | Cryptol.Parser.Lexer |
| UnusedName | Cryptol.ModuleSystem.Renamer |
| updateInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
| updatePrim | Cryptol.Eval.Generic |
| updateREPLTitle | Cryptol.REPL.Monad |
| UpdateSeqMap | Cryptol.Eval.Value |
| updateSeqMap | Cryptol.Eval.Value |
| updateWordValue | Cryptol.Eval.Value |
| UpdField | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| UpdFun | Cryptol.Parser.AST |
| UpdHow | Cryptol.Parser.AST |
| UpdSet | Cryptol.Parser.AST |
| useAscii | Cryptol.Backend.Monad, Cryptol.Eval |
| useBase | Cryptol.Backend.Monad, Cryptol.Eval |
| useFPBase | Cryptol.Backend.Monad, Cryptol.Eval |
| useFPFormat | Cryptol.Backend.Monad, Cryptol.Eval |
| useInfLength | Cryptol.Backend.Monad, Cryptol.Eval |
| UserError | Cryptol.Backend.Monad, Cryptol.Eval |
| UserName | Cryptol.ModuleSystem.Name |
| userOptions | Cryptol.REPL.Monad |
| UserTC | |
| 1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| valDeps | Cryptol.IR.FreeVars |
| valEq | Cryptol.Eval.Generic |
| valGt | Cryptol.Eval.Generic |
| validEvalContext | Cryptol.REPL.Monad |
| valLt | Cryptol.Eval.Generic |
| Value | |
| 1 (Type/Class) | Cryptol.Eval.What4 |
| 2 (Type/Class) | Cryptol.Eval.Concrete |
| 3 (Type/Class) | Cryptol.Eval.Reference |
| 4 (Data Constructor) | Cryptol.Eval.Reference |
| value | Cryptol.Parser.AST |
| valueToChar | Cryptol.Eval.Generic |
| valueToString | Cryptol.Eval.Generic |
| VarBit | Cryptol.Symbolic |
| VarFinSeq | Cryptol.Symbolic |
| VarFloat | Cryptol.Symbolic |
| VarInteger | Cryptol.Symbolic |
| varModelPred | Cryptol.Symbolic |
| VarRational | Cryptol.Symbolic |
| VarRecord | Cryptol.Symbolic |
| VarShape | Cryptol.Symbolic |
| varShapeToValue | Cryptol.Symbolic |
| varsWithAsmps | Cryptol.TypeCheck.Monad |
| varToExpr | Cryptol.Symbolic |
| VarTuple | Cryptol.Symbolic |
| VarType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| VarWord | Cryptol.Symbolic |
| VBit | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| vcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| VCurlyL | Cryptol.Parser.Lexer |
| VCurlyR | Cryptol.Parser.Lexer |
| version | Cryptol.Version |
| VFloat | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VFun | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VInteger | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| Virt | Cryptol.Parser.Lexer |
| visibleNames | Cryptol.ModuleSystem.NamingEnv |
| VList | Cryptol.Eval.Reference |
| VNumPoly | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VPoly | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VRational | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VRecord | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VSemi | Cryptol.Parser.Lexer |
| VSeq | Cryptol.Eval.Value |
| VStream | Cryptol.Eval.Value |
| VTuple | |
| 1 (Data Constructor) | Cryptol.Eval.Value |
| 2 (Data Constructor) | Cryptol.Eval.Reference |
| VWord | Cryptol.Eval.Value |
| vWordLen | Cryptol.Eval.Value |
| w4 | Cryptol.Backend.What4 |
| w4And | Cryptol.Backend.What4 |
| w4bvAshr | Cryptol.Backend.What4 |
| w4bvLshr | Cryptol.Backend.What4 |
| w4bvRol | Cryptol.Backend.What4 |
| w4bvRor | Cryptol.Backend.What4 |
| w4bvShl | Cryptol.Backend.What4 |
| W4Conn | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4defs | Cryptol.Backend.What4 |
| W4Error | Cryptol.Backend.What4 |
| W4Eval | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4Eval | Cryptol.Backend.What4 |
| W4Ex | Cryptol.Symbolic.What4 |
| W4Exception | |
| 1 (Type/Class) | Cryptol.Symbolic.What4 |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| w4funs | Cryptol.Backend.What4 |
| w4ITE | Cryptol.Backend.What4 |
| w4Not | Cryptol.Backend.What4 |
| W4PortfolioFailure | Cryptol.Symbolic.What4 |
| W4ProverConfig | Cryptol.Symbolic.What4 |
| W4Result | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| w4Thunk | Cryptol.Backend.What4 |
| w4uninterpWarns | Cryptol.Backend.What4 |
| warn | Cryptol.ModuleSystem.Monad |
| Warning | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| What4 | |
| 1 (Type/Class) | Cryptol.Backend.What4 |
| 2 (Data Constructor) | Cryptol.Backend.What4 |
| What4FunCache | Cryptol.Backend.What4 |
| whenDebug | Cryptol.REPL.Monad |
| White | Cryptol.Parser.Lexer |
| widthIdent | Cryptol.Parser.Utils |
| widthInteger | Cryptol.TypeCheck.Solver.InfNat |
| withDeclGroups | Cryptol.Transform.Specialize |
| withDecls | Cryptol.TypeCheck.Monad |
| withLogger | Cryptol.ModuleSystem.Monad |
| withMonoType | Cryptol.TypeCheck.Monad |
| withMonoTypes | Cryptol.TypeCheck.Monad |
| withNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| WithNames | |
| 1 (Type/Class) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck |
| 2 (Data Constructor) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck |
| withNewtype | Cryptol.TypeCheck.Monad |
| withParameterConstraints | Cryptol.TypeCheck.Monad |
| withParamFuns | Cryptol.TypeCheck.Monad |
| withParamType | Cryptol.TypeCheck.Monad |
| withPrependedSearchPath | Cryptol.ModuleSystem.Monad |
| withPrimType | Cryptol.TypeCheck.Monad |
| withSolver | Cryptol.TypeCheck.Solver.SMT |
| WithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| withTParam | Cryptol.TypeCheck.Monad |
| withTParams | Cryptol.TypeCheck.Monad |
| withTySyn | Cryptol.TypeCheck.Monad |
| withVar | Cryptol.TypeCheck.Monad |
| withVarType | Cryptol.TypeCheck.Monad |
| withVarTypes | Cryptol.TypeCheck.Monad |
| wlam | Cryptol.Eval.Value |
| word | Cryptol.Eval.Value |
| wordAnd | Cryptol.Backend, Cryptol.Eval.Value |
| wordAsChar | Cryptol.Backend, Cryptol.Eval.Value |
| wordAsLit | Cryptol.Backend, Cryptol.Eval.Value |
| wordBit | Cryptol.Backend, Cryptol.Eval.Value |
| wordComplement | Cryptol.Backend, Cryptol.Eval.Value |
| wordDiv | Cryptol.Backend, Cryptol.Eval.Value |
| wordEq | Cryptol.Backend, Cryptol.Eval.Value |
| wordFromInt | Cryptol.Backend, Cryptol.Eval.Value |
| wordGreaterThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordLen | Cryptol.Backend, Cryptol.Eval.Value |
| wordLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordLg2 | Cryptol.Backend, Cryptol.Eval.Value |
| wordLit | Cryptol.Backend, Cryptol.Eval.Value |
| wordMinus | Cryptol.Backend, Cryptol.Eval.Value |
| wordMod | Cryptol.Backend, Cryptol.Eval.Value |
| wordMult | Cryptol.Backend, Cryptol.Eval.Value |
| wordNegate | Cryptol.Backend, Cryptol.Eval.Value |
| wordOr | Cryptol.Backend, Cryptol.Eval.Value |
| wordPlus | Cryptol.Backend, Cryptol.Eval.Value |
| wordShifter | Cryptol.Eval.Generic |
| wordSignedDiv | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedLessThan | Cryptol.Backend, Cryptol.Eval.Value |
| wordSignedMod | Cryptol.Backend, Cryptol.Eval.Value |
| wordToInt | Cryptol.Backend, Cryptol.Eval.Value |
| WordTooWide | Cryptol.Backend.Monad, Cryptol.Eval |
| wordTooWide | Cryptol.Backend.Monad |
| wordUpdate | Cryptol.Backend, Cryptol.Eval.Value |
| WordVal | Cryptol.Eval.Value |
| wordValLogicOp | Cryptol.Eval.Generic |
| WordValue | Cryptol.Eval.Value |
| wordValueSize | Cryptol.Eval.Value |
| wordValUnaryOp | Cryptol.Eval.Generic |
| wordXor | Cryptol.Backend, Cryptol.Eval.Value |
| xorV | Cryptol.Eval.Generic |
| Z3NotFound | Cryptol.REPL.Monad |
| zeroV | Cryptol.Eval.Generic |
| zipRecords | Cryptol.Utils.RecordMap |
| zipRecordsM | Cryptol.Utils.RecordMap |
| zipSeqMap | Cryptol.Eval.Value |
| znEq | Cryptol.Backend, Cryptol.Eval.Value |
| znMinus | Cryptol.Backend, Cryptol.Eval.Value |
| znMult | Cryptol.Backend, Cryptol.Eval.Value |
| znNegate | Cryptol.Backend, Cryptol.Eval.Value |
| znPlus | Cryptol.Backend, Cryptol.Eval.Value |
| znRecip | Cryptol.Backend, Cryptol.Eval.Value |
| znToInt | Cryptol.Backend, Cryptol.Eval.Value |
| __ | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| |%| | Cryptol.TypeCheck.TypePat |
| |->| | Cryptol.TypeCheck.TypePat |
| |-| | Cryptol.TypeCheck.TypePat |
| |/=| | Cryptol.TypeCheck.TypePat |
| |/| | Cryptol.TypeCheck.TypePat |
| |=| | Cryptol.TypeCheck.TypePat |
| |>=| | Cryptol.TypeCheck.TypePat |
| |^| | Cryptol.TypeCheck.TypePat |
| ||| | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| ~> | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| ~~> | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |