| DataRepr | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| DataType | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| Datatype | Language.SMTLib2.Internals.Type, Language.SMTLib2.Internals.Type |
| datatypeCompare | Language.SMTLib2.Internals.Type |
| datatypeEq | Language.SMTLib2.Internals.Type |
| datatypeGet | Language.SMTLib2.Internals.Type |
| datatypeName | Language.SMTLib2.Internals.Type |
| datatypes | Language.SMTLib2.Internals.Monad |
| DataValue | Language.SMTLib2.Internals.Type, 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 |
| deconstruct | Language.SMTLib2.Internals.Type |
| 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 |
| dependencies | Language.SMTLib2.Internals.Type |
| Depth | Language.SMTLib2.Strategy |
| deriveIsNatural | Language.SMTLib2.Internals.Type.Nat |
| determines | Language.SMTLib2.Internals.Type |
| Distinct | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| distinct | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| 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 |
| dt | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| dt' | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| DynamicConstructor | Language.SMTLib2.Internals.Type |
| DynamicDatatype | Language.SMTLib2.Internals.Type |
| DynamicField | Language.SMTLib2.Internals.Type |
| DynamicValue | Language.SMTLib2.Internals.Type |
| DynConstr | Language.SMTLib2.Internals.Type |
| DynConstructor | Language.SMTLib2.Internals.Type |
| DynDatatype | Language.SMTLib2.Internals.Type |
| DynDatatypeInfo | Language.SMTLib2.Internals.Type |
| dynDatatypeInfo | Language.SMTLib2.Internals.Type |
| dynDatatypeName | Language.SMTLib2.Internals.Type |
| dynDatatypeParameters | Language.SMTLib2.Internals.Type |
| dynDatatypeSig | Language.SMTLib2.Internals.Type |
| DynField | Language.SMTLib2.Internals.Type |
| DynField' | Language.SMTLib2.Internals.Type |
| DynValue | Language.SMTLib2.Internals.Type |