Index - S
| SComp | Data.Type.Universe |
| search | Data.Type.Predicate.Param |
| Searchable | Data.Type.Predicate.Param |
| SearchableTC | Data.Type.Predicate.Param |
| searchTC | Data.Type.Predicate.Param |
| select | Data.Type.Predicate.Param |
| Selectable | Data.Type.Predicate.Param |
| SelectableTC | Data.Type.Predicate.Param |
| selectTC | Data.Type.Predicate.Param |
| sGetComp | Data.Type.Universe |
| Sing | Data.Type.Universe |
| SInL | Data.Type.Universe |
| SInR | Data.Type.Universe |
| Subset | Data.Type.Universe.Subset |
| subsetToAll | Data.Type.Universe.Subset |
| subsetToAny | Data.Type.Universe.Subset |
| subsetToList | Data.Type.Universe.Subset |
| subsetToNone | Data.Type.Universe.Subset |
| SumElem | Data.Type.Universe |
| sumLAll | Data.Type.Universe |
| sumLAny | Data.Type.Universe |
| sumRAll | Data.Type.Universe |
| sumRAny | Data.Type.Universe |
| symDiff | Data.Type.Universe.Subset |