Index - D
| DataDeclaration | |
| 1 (Type/Class) | Covenant.Type |
| 2 (Data Constructor) | Covenant.Type |
| DataDeclFlavor | Covenant.Test |
| DataDeclSet | |
| 1 (Type/Class) | Covenant.Test |
| 2 (Data Constructor) | Covenant.Test |
| DataEncoding | Covenant.Type |
| Datatype | Covenant.Type |
| dataType1T | Covenant.Type |
| dataType2T | Covenant.Type |
| DatatypeInfo | |
| 1 (Type/Class) | Covenant.Data |
| 2 (Data Constructor) | Covenant.Data |
| DatatypeInfoRenameFailed | Covenant.ASG |
| dataTypeT | Covenant.Type |
| DeBruijn | Covenant.DeBruijn |
| DecodeUtf8 | Covenant.Prim |
| defaultDatatypes | Covenant.ASG |
| DivideInteger | Covenant.Prim |
| DoesNotUnify | Covenant.ASG |