| SCatch | Test.DejaFu.STM.Internal |
| Scheduler | Test.DejaFu.Conc |
| sctBound | Test.DejaFu.SCT |
| sctBounded | Test.DejaFu.SCT |
| sctFairBound | Test.DejaFu.SCT |
| sctLengthBound | Test.DejaFu.SCT |
| sctPreBound | Test.DejaFu.SCT |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| 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 |
| simplifyAction | Test.DejaFu.Common |
| simplifyLookahead | Test.DejaFu.Common |
| 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.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 |
| Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| SwitchTo | Test.DejaFu.Common, 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 |