| 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.CrySAT |
| DebugLog | Cryptol.TypeCheck.Solver.CrySAT |
| debugLog | Cryptol.TypeCheck.Solver.CrySAT |
| debugLogList | Cryptol.TypeCheck.Solver.CrySAT |
| 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 |
| DeclsArg | Cryptol.REPL.Command |
| declsLinter | Cryptol.ModuleSystem.Base |
| deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
| defaultFixity | Cryptol.Parser.AST |
| defaultFreeVar | Cryptol.TypeCheck.Subst |
| DefaultingKind | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| defaultingSubst | Cryptol.TypeCheck.Subst |
| DefaultingTo | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| DefaultingWildType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
| defaultPPOpts | Cryptol.Eval.Value |
| defaultReplExpr | Cryptol.TypeCheck.Solve |
| DefinedProp | |
| 1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
| 2 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
| DefLoc | Cryptol.TypeCheck.Monad |
| degree | Cryptol.Symbolic.Prims |
| deIfaceDecls | Cryptol.ModuleSystem.Env |
| DelayedCt | |
| 1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
| deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| destEProofAbs | Cryptol.Transform.Specialize |
| destEProofApps | Cryptol.Transform.Specialize |
| destETAbs | Cryptol.Transform.Specialize |
| destETApps | Cryptol.Transform.Specialize |
| desugarLiteral | Cryptol.TypeCheck.Infer |
| desugarProp | Cryptol.TypeCheck.Solver.Numeric.SMT |
| 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 |
| disableLet | Cryptol.REPL.Monad |
| Div | Cryptol.TypeCheck.Solver.Numeric.AST |
| DivideByZero | Cryptol.Eval.Error, Cryptol.Eval |
| divideByZero | Cryptol.Eval.Error |
| divModPoly | Cryptol.Prims.Eval |
| divWrap | Cryptol.Prims.Eval |
| divx | Cryptol.Symbolic.Prims |
| DLocated | Cryptol.Parser.AST |
| dName | Cryptol.TypeCheck.AST |
| doAppSubst | Cryptol.TypeCheck.Solver.Numeric.AST |
| Doc | |
| 1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| 2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| DocStr | Cryptol.Parser.Lexer |
| Dot | Cryptol.Parser.Lexer |
| DotDot | Cryptol.Parser.Lexer |
| DotDotDot | Cryptol.Parser.Lexer |
| doubleAndAdd | Cryptol.Prims.Eval |
| DPatBind | Cryptol.Parser.AST |
| dpData | Cryptol.TypeCheck.Solver.CrySAT |
| DPragma | Cryptol.Parser.AST |
| dPragmas | Cryptol.TypeCheck.AST |
| DPrim | |
| 1 (Data Constructor) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.AST |
| dpSimpExprProp | Cryptol.TypeCheck.Solver.CrySAT |
| dpSimpProp | Cryptol.TypeCheck.Solver.CrySAT |
| dropLoc | Cryptol.Parser.Position |
| dropV | Cryptol.Symbolic.Prims |
| DSignature | Cryptol.Parser.AST |
| dSignature | Cryptol.TypeCheck.AST |
| DType | Cryptol.Parser.AST |
| dump | Cryptol.TypeCheck.PP |
| DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| duplicateModuleName | Cryptol.ModuleSystem.Monad |
| duplicates | Cryptol.TypeCheck.Depends |
| DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| dynamicEnv | Cryptol.ModuleSystem.Env |