Index - S
| S | UtilP, Predicate |
| Same | Predicate |
| Sapa | Predicate |
| Sapa' | Predicate |
| Scanl | Predicate |
| ScanN | Predicate |
| ScanNA | Predicate |
| Second | Predicate |
| Sequence | Predicate |
| seta | UtilP, Predicate |
| setc | UtilP, Predicate |
| setc0 | UtilP, Predicate |
| setc1 | UtilP, Predicate |
| setc2 | UtilP, Predicate |
| setc3 | UtilP, Predicate |
| setc4 | UtilP, Predicate |
| setd | UtilP, Predicate |
| setu | UtilP, Predicate |
| shortTT | UtilP, Predicate |
| show0 | UtilP, Predicate |
| show3 | UtilP, Predicate |
| showA | UtilP, Predicate |
| showA' | UtilP, Predicate |
| ShowBase | Predicate |
| ShowBase' | Predicate |
| showBoolP | UtilP, Predicate |
| showImpl | UtilP, Predicate |
| showLit | UtilP, Predicate |
| showLit' | UtilP, Predicate |
| showLit0 | UtilP, Predicate |
| showLit3 | UtilP, Predicate |
| showNat | UtilP, Predicate |
| ShowP | Predicate |
| showT | UtilP, Predicate |
| showThese | UtilP, Predicate |
| showTProxy | UtilP, Predicate |
| Signum | Predicate |
| simpleAlign | Predicate |
| Singleton | Predicate |
| Skip | Predicate |
| Snd | Predicate |
| SortBy | Predicate |
| SortByHelper | Predicate |
| SortOn | Predicate |
| SortOnDesc | Predicate |
| Span | Predicate |
| splitAndAlign | UtilP, Predicate |
| SplitAt | Predicate |
| SplitAts | Predicate |
| Ssn | Refined3Helper |
| ssn | Refined3Helper |
| Ssnfmt | Refined3Helper |
| Ssnip | Refined3Helper |
| Ssnop | Refined3Helper |
| Ssnop' | Refined3Helper |
| Star | Predicate |
| Stderr | Predicate |
| Stdin | Predicate |
| Stdout | Predicate |
| STimes | Predicate |
| strictmsg | Predicate |
| StripLeft | Predicate |
| StripLR | Predicate |
| StripRight | Predicate |
| Sub | Predicate |
| Succ | Predicate |
| SuccB | Predicate |
| SuccB' | Predicate |
| Sum | Predicate |
| SumT | UtilP, Predicate |
| Swap | Predicate |
| SwappedC | Predicate |
| swappedC | Predicate |
| symb | UtilP, Predicate |