Index - S
| scc | LTK.FSA, LTK | 
| sccGraph | LTK.FSA, LTK | 
| semanticallyExtendAlphabetTo | LTK.FSA, LTK | 
| sequencesOver | LTK.Containers, LTK.FSA, LTK | 
| setFromMultiset | LTK.Containers, LTK.FSA, LTK | 
| sigma | LTK.FSA, LTK | 
| singleton | LTK.Containers, LTK.FSA, LTK | 
| singletonLanguage | LTK.FSA, LTK | 
| singletonWithAlphabet | LTK.FSA, LTK | 
| size | LTK.Containers, LTK.FSA, LTK | 
| SLG | |
| 1 (Type/Class) | LTK.Learn.SL | 
| 2 (Data Constructor) | LTK.Learn.SL | 
| slg | LTK.Learn.SL | 
| slgAlpha | LTK.Learn.SL | 
| slgK | LTK.Learn.SL | 
| slQ | LTK.Extract.SL, LTK.Extract, LTK | 
| source | LTK.FSA, LTK | 
| SPG | LTK.Learn.SP | 
| State | |
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| stateMultiset | LTK.Traversals, LTK | 
| states | LTK.FSA, LTK | 
| Subsequence | LTK.Factors, LTK | 
| subsequenceClosure | LTK.Extract.SP, LTK.Extract, LTK | 
| Substring | LTK.Factors, LTK | 
| substring | LTK.Factors, LTK | 
| Symbol | |
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| symmetricDifference | LTK.Containers, LTK.FSA, LTK | 
| SymSet | LTK.Porters.Pleb | 
| SynMon | LTK.Algebra | 
| syntacticJSemigroup | LTK.FSA, LTK | 
| syntacticMonoid | LTK.FSA, LTK | 
| syntacticOMonoid | LTK.FSA, LTK | 
| SyntacticOrder | |
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| syntacticOrder | LTK.Algebra | 
| syntacticOSemigroup | LTK.FSA, LTK | 
| syntacticSemigroup | LTK.FSA, LTK | 
| SyntacticSemilattice | |
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| syntacticSemilattice | LTK.FSA, LTK |