| SCatch | Test.DejaFu.STM.Internal |
| schedBoundKill | Test.DejaFu.SCT.Internal |
| schedBPoints | Test.DejaFu.SCT.Internal |
| schedBState | Test.DejaFu.SCT.Internal |
| schedDepState | Test.DejaFu.SCT.Internal |
| schedGen | Test.DejaFu.SCT.Internal |
| schedIgnore | Test.DejaFu.SCT.Internal |
| schedPrefix | Test.DejaFu.SCT.Internal |
| schedSleep | Test.DejaFu.SCT.Internal |
| Scheduler | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| schedWeights | Test.DejaFu.SCT.Internal |
| sctBound | Test.DejaFu.SCT |
| sctBoundDiscard | Test.DejaFu.SCT |
| sctUniformRandom | Test.DejaFu.SCT |
| sctUniformRandomDiscard | Test.DejaFu.SCT |
| sctWeightedRandom | Test.DejaFu.SCT |
| sctWeightedRandomDiscard | Test.DejaFu.SCT |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| SetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
| showFail | Test.DejaFu.Common, Test.DejaFu.Conc |
| showTrace | Test.DejaFu.Common, Test.DejaFu.Conc |
| Sig | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
| simplifyAction | Test.DejaFu.Common |
| simplifyLookahead | Test.DejaFu.Common |
| Single | Test.DejaFu.Conc.Internal |
| SNew | Test.DejaFu.STM.Internal |
| somewhereTrue | Test.DejaFu |
| SOrElse | Test.DejaFu.STM.Internal |
| SRead | Test.DejaFu.STM.Internal |
| SRetry | Test.DejaFu.STM.Internal |
| SStop | Test.DejaFu.STM.Internal |
| Start | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
| stepThread | Test.DejaFu.Conc.Internal |
| stepTrans | Test.DejaFu.STM.Internal |
| SThrow | Test.DejaFu.STM.Internal |
| STM | Test.DejaFu.Common, Test.DejaFu.Conc |
| STMAction | Test.DejaFu.STM.Internal |
| STMDeadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| STMIO | Test.DejaFu.STM |
| STMLike | Test.DejaFu.STM |
| STMST | Test.DejaFu.STM |
| Stop | Test.DejaFu.Common, Test.DejaFu.Conc |
| StopSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
| strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
| SubC | Test.DejaFu.Conc.Internal |
| Subconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
| subconcurrency | Test.DejaFu.Conc |
| Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| swarmy | Test.DejaFu.SCT, Test.DejaFu |
| SwitchTo | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
| SWrite | Test.DejaFu.STM.Internal |
| SynchronisedModify | Test.DejaFu.Common |
| SynchronisedOther | Test.DejaFu.Common |
| SynchronisedRead | Test.DejaFu.Common |
| SynchronisedWrite | Test.DejaFu.Common |
| synchronises | Test.DejaFu.Common |
| systematically | Test.DejaFu.SCT, Test.DejaFu |