| SandboxLaunchFailed | System.Process.Quick.CallSpec.Verify, System.Process.Quick |
| SandboxValidate | System.Process.Quick.CallSpec.Type, System.Process.Quick.CallSpec, System.Process.Quick |
| satN | System.Process.Quick.Sbv.Arbitrary |
| satOne | System.Process.Quick.Sbv.Arbitrary |
| semi | System.Process.Quick.Pretty |
| sep | System.Process.Quick.Pretty |
| seqA | System.Process.Quick.CallSpec, System.Process.Quick |
| sizedText | System.Process.Quick.Pretty |
| SizeEqualTo | |
| 1 (Type/Class) | System.Process.Quick |
| 2 (Data Constructor) | System.Process.Quick |
| SizeGreaterThan | |
| 1 (Type/Class) | System.Process.Quick |
| 2 (Data Constructor) | System.Process.Quick |
| SizeLessThan | |
| 1 (Type/Class) | System.Process.Quick |
| 2 (Data Constructor) | System.Process.Quick |
| SleepFor | System.Process.Quick.CallEffect |
| space | System.Process.Quick.Pretty |
| spawnProcess | System.Process.Quick.CallSpec.Run, System.Process.Quick |
| StdErrorCe | System.Process.Quick.CallEffect |
| StdOutputCe | System.Process.Quick.CallEffect |
| Str | System.Process.Quick.Pretty |
| strengthen | System.Process.Quick |
| Style | |
| 1 (Type/Class) | System.Process.Quick.Pretty |
| 2 (Data Constructor) | System.Process.Quick.Pretty |
| style | System.Process.Quick.Pretty |
| Subcase | |
| 1 (Type/Class) | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| 2 (Data Constructor) | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| Subcases | |
| 1 (Type/Class) | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| 2 (Data Constructor) | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| subcases | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| subcasesToDec | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| subcaseToClause | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| subcaseToRecC | System.Process.Quick.CallSpec.Subcases, System.Process.Quick |
| success | System.Process.Quick |