| 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 |
| debug | 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 |
| DeclGroup | Cryptol.TypeCheck.AST |
| DecLit | Cryptol.Parser.AST |
| DeclsArg | Cryptol.REPL.Command |
| deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
| defaultExpr | Cryptol.TypeCheck.Defaulting |
| 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 |
| 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 |
| derivedOrd | Cryptol.TypeCheck.Solver.Eval |
| description | Cryptol.Prims.Doc |
| destEProofAbs | Cryptol.Transform.Specialize |
| destEProofApps | Cryptol.Transform.Specialize |
| destETAbs | Cryptol.Transform.Specialize |
| destETApps | Cryptol.Transform.Specialize |
| desugarLiteral | Cryptol.TypeCheck.Infer |
| DirectoryNotFound | Cryptol.REPL.Monad |
| disableLet | Cryptol.REPL.Monad |
| Disj | Cryptol.Parser.Lexer |
| Div | |
| 1 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
| 2 (Data Constructor) | Cryptol.Parser.Lexer |
| 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 |
| Doc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| Dot | Cryptol.Parser.Lexer |
| DotDot | Cryptol.Parser.Lexer |
| DotDotDot | Cryptol.Parser.Lexer |
| double | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| doubleAndAdd | Cryptol.Prims.Eval |
| doubleQuotes | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| DPatBind | Cryptol.Parser.AST |
| DPragma | Cryptol.Parser.AST |
| dPragmas | Cryptol.TypeCheck.AST |
| dropLoc | Cryptol.Parser.Position |
| dropV | Cryptol.Symbolic.Prims |
| DSignature | Cryptol.Parser.AST |
| dSignature | Cryptol.TypeCheck.AST |
| DType | Cryptol.Parser.AST |
| dump | Cryptol.TypeCheck.PP |
| dumpDoc | Cryptol.TypeCheck.Solver.FinOrd |
| dumpDot | Cryptol.TypeCheck.Solver.FinOrd |
| DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| duplicateModuleName | Cryptol.ModuleSystem.Monad |
| duplicates | Cryptol.TypeCheck.Depends |
| DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |