| DataRepr | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| DataType | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| Datatype | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Type |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Type |
| DatatypeInfo | Language.SMTLib2.Internals.Monad |
| datatypeName | Language.SMTLib2.Internals.Type |
| Datatypes | Language.SMTLib2.Internals.Type |
| datatypes | Language.SMTLib2.Internals.Monad |
| DatatypeSig | Language.SMTLib2.Internals.Type |
| declare | Language.SMTLib2.Internals.TH, Language.SMTLib2 |
| declareDatatypes | Language.SMTLib2.Internals.Backend |
| declareFun | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| declareFunNamed | Language.SMTLib2 |
| declareVar | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| declareVar' | Language.SMTLib2.Internals.Monad |
| declareVarNamed | Language.SMTLib2 |
| declareVarNamed' | Language.SMTLib2.Internals.Monad |
| decodeExpr | Language.SMTLib2.Internals.Embed |
| defConst | Language.SMTLib2 |
| define | Language.SMTLib2.Internals.TH, Language.SMTLib2 |
| defineFun | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| defineFunNamed | Language.SMTLib2 |
| defineVar | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| defineVar' | Language.SMTLib2.Internals.Monad |
| defineVarNamed | Language.SMTLib2 |
| defineVarNamed' | Language.SMTLib2.Internals.Monad |
| Depth | Language.SMTLib2.Strategy |
| deriveAllEqType | Language.SMTLib2.Internals.TH |
| deriveFunctionType | Language.SMTLib2.Internals.TH |
| deriveType | Language.SMTLib2.Internals.TH |
| DeterminedType | Language.SMTLib2.Internals.TH |
| Distinct | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| distinct | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| distinct' | Language.SMTLib2.Internals.TH |
| DistinctLst | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| Div | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| div' | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| Divide | Language.SMTLib2.Internals.Expression |
| Divisible | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| divisible | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| Drop | Language.SMTLib2.Internals.Type.List |
| drop | Language.SMTLib2.Internals.Type.List |
| DropLast | Language.SMTLib2.Internals.Type.List |
| dropLast | Language.SMTLib2.Internals.Type.List |
| DTProxy | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Monad |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Monad |