| SCatch | Test.DejaFu.Conc.Internal.STM |
| schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
| schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
| schedBState | Test.DejaFu.SCT.Internal.DPOR |
| schedDepState | Test.DejaFu.SCT.Internal.DPOR |
| schedGen | Test.DejaFu.SCT.Internal.Weighted |
| schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
| schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
| schedSleep | Test.DejaFu.SCT.Internal.DPOR |
| Scheduler | |
| 1 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| scheduleThread | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| schedWeights | Test.DejaFu.SCT.Internal.Weighted |
| sct | Test.DejaFu.SCT.Internal |
| sct' | 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.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| set | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| Settings | |
| 1 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Internal |
| showFail | Test.DejaFu.Utils, Test.DejaFu.Conc |
| showTrace | Test.DejaFu.Utils, Test.DejaFu.Conc |
| Sig | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
| simplestsBy | Test.DejaFu.Utils |
| simplify | Test.DejaFu.SCT.Internal |
| simplifyAction | Test.DejaFu.Internal |
| simplifyExecution | Test.DejaFu.SCT.Internal |
| simplifyLookahead | Test.DejaFu.Internal |
| Single | Test.DejaFu.Conc.Internal |
| Snap | Test.DejaFu.Conc.Internal |
| SNew | Test.DejaFu.Conc.Internal.STM |
| somewhereNothing | Test.DejaFu |
| somewhereTrue | Test.DejaFu |
| SOrElse | Test.DejaFu.Conc.Internal.STM |
| SRead | Test.DejaFu.Conc.Internal.STM |
| SRetry | Test.DejaFu.Conc.Internal.STM |
| SStop | Test.DejaFu.Conc.Internal.STM |
| Start | Test.DejaFu.Types, Test.DejaFu.Conc |
| stepThread | Test.DejaFu.Conc.Internal |
| stepThrow | Test.DejaFu.Conc.Internal |
| stepTrans | Test.DejaFu.Conc.Internal.STM |
| SThrow | Test.DejaFu.Conc.Internal.STM |
| STM | Test.DejaFu.Types, Test.DejaFu.Conc |
| STMAction | Test.DejaFu.Conc.Internal.STM |
| STMDeadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| StopSubconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
| Strengthen | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| strengthenDiscard | Test.DejaFu.Types |
| strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
| SubC | Test.DejaFu.Conc.Internal |
| Subconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
| subconcurrency | Test.DejaFu.Conc |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| SwitchTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| SWrite | Test.DejaFu.Conc.Internal.STM |
| synchronised | Test.DejaFu.Conc.Internal |
| SynchronisedModify | Test.DejaFu.Internal |
| SynchronisedOther | Test.DejaFu.Internal |
| SynchronisedRead | Test.DejaFu.Internal |
| SynchronisedWrite | Test.DejaFu.Internal |
| synchronises | Test.DejaFu.Internal |
| Systematic | Test.DejaFu.Internal |
| systematically | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |