Index - D
| Decidable | Data.Type.Predicate |
| DecidableTC | Data.Type.Predicate |
| Decide | Data.Type.Predicate |
| decide | Data.Type.Predicate |
| decideAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
| decideAnd | Data.Type.Predicate.Logic |
| decideAny | Data.Type.Universe, Data.Type.Predicate.Quantification |
| decideEntailAll | Data.Type.Predicate.Quantification |
| decideNone | Data.Type.Predicate.Quantification |
| decideNot | Data.Type.Predicate, Data.Type.Predicate.Logic |
| decideOr | Data.Type.Predicate.Logic |
| decideTC | Data.Type.Predicate |
| decideXor | Data.Type.Predicate.Logic |
| Decision | Data.Type.Predicate |
| DFunctor | Data.Type.Predicate |
| Disprovable | Data.Type.Predicate |
| disprove | Data.Type.Predicate |
| Disproved | Data.Type.Predicate |
| dmap | Data.Type.Predicate |
| doubleNegation | Data.Type.Predicate.Logic |