| decNat | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| Default | |
| 1 (Type/Class) | Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core, Grisette |
| Default1 | |
| 1 (Type/Class) | Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core, Grisette |
| DefaultFiniteBitsSymRotate | |
| 1 (Type/Class) | Grisette.Core.Data.Class.SymRotate |
| 2 (Data Constructor) | Grisette.Core.Data.Class.SymRotate |
| DefaultFiniteBitsSymShift | |
| 1 (Type/Class) | Grisette.Core.Data.Class.SymShift |
| 2 (Data Constructor) | Grisette.Core.Data.Class.SymShift |
| 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 |
| derivedFreshConstrainedNoSpec | Grisette.Experimental.GenSymConstrained, Grisette.Experimental |
| 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 |
| derivedSimpleFreshConstrainedNoSpec | Grisette.Experimental.GenSymConstrained, Grisette.Experimental |
| derivedSimpleFreshConstrainedSameShape | Grisette.Experimental.GenSymConstrained, Grisette.Experimental |
| 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.SafeLinearArith, Grisette.Core.Data.Class.SafeDivision |
| 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 |
| 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 |