| Default | |
| 1 (Data Constructor) | Grisette.Core, Grisette |
| 2 (Type/Class) | Grisette.Core, Grisette |
| Default1 | |
| 1 (Data Constructor) | Grisette.Core, Grisette |
| 2 (Type/Class) | Grisette.Core, Grisette |
| defaultFuncValue | Grisette.IR.SymPrim.Data.TabularFun, Grisette.IR.SymPrim, Grisette |
| defaultValue | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| defaultValueDynamic | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| Denormal | Grisette.Core.Data.Class.Integer |
| derivedNoSpecFresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| derivedNoSpecSimpleFresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| derivedRootStrategy | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| derivedSameShapeSimpleFresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| differenceSet | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| DivideByZero | Grisette.Core.Data.Class.Integer |
| DivIntegerTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| divIntegerTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| divs | Grisette.Core.Data.Class.Integer, Grisette.Core, Grisette |
| dReal | Grisette.Backend.SBV, Grisette |
| dsatPrecision | Grisette.Backend.SBV, Grisette |
| Dyn | Grisette.IR.SymPrim.Data.Prim.Utils |
| DynamicSortedIdx | |
| 1 (Type/Class) | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |