| randomly | Test.DejaFu.SCT, Test.DejaFu |
| randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randSched | Test.DejaFu.SCT.Internal |
| RandSchedState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal |
| ReadCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| readCRef | Test.DejaFu.Conc.Internal.Memory |
| ReadCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
| readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
| refines | Test.DejaFu.Refinement, Test.DejaFu |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
| Result | |
| 1 (Type/Class) | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| 2 (Type/Class) | Test.DejaFu |
| 3 (Data Constructor) | Test.DejaFu |
| resultsSet | Test.DejaFu.SCT |
| resultsSet' | Test.DejaFu.SCT |
| resultsSetDiscard | Test.DejaFu.SCT |
| resultsSetDiscard' | Test.DejaFu.SCT |
| Retry | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| Return | Test.DejaFu.Common, Test.DejaFu.Conc |
| rewind | Test.DejaFu.Common |
| rightResults | Test.DejaFu.Refinement, Test.DejaFu |
| roundRobinSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| roundRobinSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| runConcurrency | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc |
| runCont | Test.DejaFu.Conc.Internal.Common |
| runM | Test.DejaFu.Conc.Internal.Common |
| runRefCont | Test.DejaFu.Common |
| runSCT | Test.DejaFu.SCT |
| runSCT' | Test.DejaFu.SCT |
| runSCTDiscard | Test.DejaFu.SCT |
| runSCTDiscard' | Test.DejaFu.SCT |
| runTest | Test.DejaFu |
| runTestM | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runTestWayM | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.STM |