Index - S
| S | UtilP |
| Same | Predicate |
| Sapa | Predicate |
| Sapa' | Predicate |
| Scanl | Predicate |
| ScanN | Predicate |
| ScanNA | Predicate |
| Second | Predicate |
| Sequence | Predicate |
| seta | UtilP |
| setc | UtilP |
| setc0 | UtilP |
| setc1 | UtilP |
| setc2 | UtilP |
| setc3 | UtilP |
| setc4 | UtilP |
| setd | UtilP |
| setu | UtilP |
| shortTT | UtilP |
| show0 | UtilP |
| show3 | UtilP |
| showA | UtilP |
| showA' | UtilP |
| ShowBase | Predicate |
| showBoolP | UtilP |
| showImpl | UtilP |
| showLit | UtilP |
| showLit' | UtilP |
| showLit0 | UtilP |
| showLit3 | UtilP |
| showNat | UtilP |
| ShowP | Predicate |
| showT | UtilP |
| showThese | UtilP |
| showTProxy | UtilP |
| Signum | Predicate |
| Singleton | Predicate |
| Skip | Predicate |
| Snd | Predicate |
| SortBy | Predicate |
| SortByHelper | Predicate |
| SortOn | Predicate |
| SortOnDesc | Predicate |
| Span | Predicate |
| splitAndAlign | UtilP |
| 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 |
| Swap | Predicate |
| symb | UtilP |