Index - D
| Dag | Language.REST.Dot |
| DeclareVar | Language.REST.SMT |
| delete | Language.REST.Internal.MultiSet |
| deleteMany | Language.REST.Internal.MultiSet |
| descendents | Language.REST.Internal.PartialOrder |
| difference | Language.REST.WQOConstraints.Strict |
| DiGraph | |
| 1 (Type/Class) | Language.REST.Dot |
| 2 (Data Constructor) | Language.REST.Dot |
| distinctElems | Language.REST.Internal.MultiSet |
| dnfSize | Language.REST.WQOConstraints.ADT |
| DotPath | Language.REST.Dot |