| dbgLex | Cryptol.Parser.Lexer |
| 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 |
| debugShowUniques | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 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 |
| DeclarationRequiresSignatureCtrGrd | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| declareVars | Cryptol.TypeCheck.Solver.SMT |
| DeclDef | Cryptol.TypeCheck.AST |
| DeclGroup | Cryptol.TypeCheck.AST |
| DecLit | Cryptol.Parser.AST |
| 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 |
| defaultEvalForeignPolicy | Cryptol.ModuleSystem.Env |
| 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 |
| DefaultInstAnonArg | Cryptol.Parser.AST |
| DefaultInstArg | Cryptol.Parser.AST |
| defaultLiterals | Cryptol.TypeCheck.Default |
| defaultPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| defaultPPOpts | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval.Value, Cryptol.Eval |
| defaultProver | |
| 1 (Function) | Cryptol.Symbolic.What4 |
| 2 (Function) | Cryptol.Symbolic.SBV |
| defaultReplExpr | Cryptol.TypeCheck.Solve |
| defaultReplExpr' | Cryptol.TypeCheck.Default |
| defaultSolverConfig | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| DefinitionOf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Defs | Cryptol.IR.FreeVars |
| defs | Cryptol.IR.FreeVars |
| defsOf | Cryptol.ModuleSystem.Binds |
| 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 |
| delaySeqMap | Cryptol.Backend.SeqMap |
| delayWordValue | Cryptol.Backend.WordValue |
| deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| depGroup | Cryptol.ModuleSystem.Renamer.Monad |
| DepName | Cryptol.ModuleSystem.Renamer.Error |
| depNameLoc | Cryptol.ModuleSystem.Renamer.Error |
| Deps | |
| 1 (Type/Class) | Cryptol.IR.FreeVars |
| 2 (Data Constructor) | Cryptol.IR.FreeVars |
| depsOf | Cryptol.ModuleSystem.Renamer.Monad |
| destEProofAbs | Cryptol.Transform.Specialize |
| destEProofApps | Cryptol.Transform.Specialize |
| destETAbs | Cryptol.Transform.Specialize |
| destETApps | Cryptol.Transform.Specialize |
| deTySyns | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| DExpr | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| DFixity | Cryptol.Parser.AST |
| dFixity | Cryptol.TypeCheck.AST |
| DForeign | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| diffNames | Cryptol.ModuleSystem.Names |
| DImpl | Cryptol.Parser.AST |
| DImport | Cryptol.Parser.AST |
| dInfix | Cryptol.TypeCheck.AST |
| DInterfaceConstraint | Cryptol.Parser.AST |
| DirectoryNotFound | Cryptol.REPL.Monad |
| displayCallStack | Cryptol.Backend.Monad |
| displayElements | Cryptol.Utils.RecordMap |
| displayFields | Cryptol.Utils.RecordMap |
| DisplayOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| displayOrder | Cryptol.Utils.RecordMap |
| displayVersion | Cryptol.Version |
| distinctV | Cryptol.Eval.Generic |
| Div | Cryptol.Parser.Token |
| DivideByZero | Cryptol.Backend.Monad, Cryptol.Eval |
| divV | Cryptol.Eval.Generic |
| DLocated | Cryptol.Parser.AST |
| DModParam | Cryptol.Parser.AST |
| DModule | Cryptol.Parser.AST |
| dName | Cryptol.TypeCheck.AST |
| doBacktickInstance | Cryptol.TypeCheck.ModuleBacktickInstance |
| Doc | |
| 1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| DocStr | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| doEval | Cryptol.Backend.What4 |
| doFunctorInst | Cryptol.TypeCheck.Module |
| doInst | Cryptol.TypeCheck.ModuleInstance |
| doLoadModule | Cryptol.ModuleSystem.Base |
| doMap | Cryptol.TypeCheck.ModuleInstance |
| doMGU | Cryptol.TypeCheck.Unify |
| doNameInst | Cryptol.TypeCheck.ModuleInstance |
| doSet | Cryptol.TypeCheck.ModuleInstance |
| Dot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| DotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| DotDotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| DotDotGt | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| DotDotLt | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| doTVarInst | Cryptol.TypeCheck.ModuleInstance |
| DParamDecl | Cryptol.Parser.AST |
| DParameterConstraint | Cryptol.Parser.AST |
| DParameterDecl | 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 |
| DPropGuards | Cryptol.Parser.AST |
| DRec | Cryptol.Parser.AST |
| dropLoc | Cryptol.Parser.Position |
| dropLocs | Cryptol.TypeCheck.AST |
| dropSeqMap | Cryptol.Backend.SeqMap |
| dropV | Cryptol.Eval.Generic |
| dropWordVal | Cryptol.Backend.WordValue |
| 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 |
| DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| dynModContext | Cryptol.ModuleSystem.Env |