| Deadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
| decisionOf | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| defaultBounds | Test.DejaFu.Defaults, Test.DejaFu |
| defaultFairBound | Test.DejaFu.Defaults, Test.DejaFu |
| defaultLengthBound | Test.DejaFu.Defaults, Test.DejaFu |
| defaultMemType | Test.DejaFu.Defaults, Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.Defaults, Test.DejaFu |
| defaultWay | Test.DejaFu.Defaults, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafuIO | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafusIO | Test.DejaFu |
| dejafusWay | Test.DejaFu |
| dejafusWayIO | Test.DejaFu |
| dejafuWay | Test.DejaFu |
| dejafuWayIO | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| depCRState | Test.DejaFu.SCT.Internal |
| dependent | Test.DejaFu.SCT.Internal |
| dependent' | Test.DejaFu.SCT.Internal |
| dependentActions | Test.DejaFu.SCT.Internal |
| depMaskState | Test.DejaFu.SCT.Internal |
| DepState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal |
| didYield | Test.DejaFu.SCT.Internal |
| doTransaction | Test.DejaFu.STM.Internal |
| DPOR | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal |
| dporAction | Test.DejaFu.SCT.Internal |
| dporDone | Test.DejaFu.SCT.Internal |
| dporRunnable | Test.DejaFu.SCT.Internal |
| dporSched | Test.DejaFu.SCT.Internal |
| DPORSchedState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal |
| dporSleep | Test.DejaFu.SCT.Internal |
| dporTaken | Test.DejaFu.SCT.Internal |
| dporTodo | Test.DejaFu.SCT.Internal |