Index - S
| semi | QuickSpec.Term |
| sep | QuickSpec.Term |
| series | QuickSpec |
| Sig | QuickSpec |
| Signature | QuickSpec |
| signature | QuickSpec |
| size | QuickSpec.Term |
| Sized | QuickSpec.Term |
| sizedText | QuickSpec.Term |
| skolemiseTypeVars | QuickSpec.Type |
| space | QuickSpec.Term |
| splitConstrainedType | QuickSpec.Type |
| Str | QuickSpec.Term |
| String | QuickSpec.Type |
| Style | |
| 1 (Data Constructor) | QuickSpec.Term |
| 2 (Type/Class) | QuickSpec.Term |
| style | QuickSpec.Term |
| Sub | QuickSpec |
| subst | QuickSpec.Term |
| subterms | QuickSpec.Term |
| supply | QuickSpec.Term |
| SymA | QuickSpec.Type |
| Symbolic | QuickSpec.Term |