| 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 |
| PFinPoly | Cryptol.Eval.Prims |
| PFLiteral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| PFloatFun | Cryptol.Eval.Prims |
| pfName | Cryptol.Parser.AST |
| pfSchema | Cryptol.Parser.AST |
| PFun | Cryptol.Eval.Prims |
| 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 |
| pIsLiteralLessThan | 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 |
| PLiteralLessThan | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| pLiteralLessThan | 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 |
| PNumPoly | Cryptol.Eval.Prims |
| 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 |
| ppBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| ppEnv | Cryptol.Eval.Env |
| ppError | |
| 1 (Function) | Cryptol.Parser |
| 2 (Function) | Cryptol.TypeCheck |
| ppEValue | Cryptol.Eval.Reference |
| PPFloatExp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| PPFloatFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppIncludeError | Cryptol.Parser.NoInclude |
| ppInfix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppInfixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval |
| ppPrec | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ppPrefixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| PPrim | Cryptol.Eval.Prims |
| 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 |
| 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 |
| 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 |
| Prim | Cryptol.Eval.Prims |
| 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 |
| PStrict | Cryptol.Eval.Prims |
| 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 |
| PTyPoly | Cryptol.Eval.Prims |
| Public | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| punctuate | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| pushCallFrame | Cryptol.Backend.Monad |
| PVal | Cryptol.Eval.Prims |
| 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 |
| PWordFun | Cryptol.Eval.Prims |
| 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 |