| decNat | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| 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.SafeArith |
| 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 |
| DivBoundedIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| divBoundedIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| DivideByZero | Grisette.Core.Data.Class.SafeArith |
| DivIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| divIntegralTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| divNat | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| dReal | Grisette.Backend.SBV, Grisette |
| DSat | Grisette.Backend.SBV.Data.SMT.Solving, 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 |