Index - S
| Second | Fcf.Alg.Morphism |
| Set | |
| 1 (Type/Class) | Fcf.Data.Set |
| 2 (Data Constructor) | Fcf.Data.Set |
| Singleton | |
| 1 (Type/Class) | Fcf.Data.MapC |
| 2 (Type/Class) | Fcf.Data.NatMap |
| 3 (Type/Class) | Fcf.Data.Set |
| 4 (Type/Class) | Fcf.Data.Text |
| Size | |
| 1 (Type/Class) | Fcf.Data.MapC |
| 2 (Type/Class) | Fcf.Data.NatMap |
| 3 (Type/Class) | Fcf.Data.Set |
| 4 (Type/Class) | Fcf.Alg.Tree |
| Sizes | Fcf.Alg.Tree |
| Sliding | Fcf.Alg.List |
| SlidingAlg | Fcf.Alg.List |
| Snoc | |
| 1 (Type/Class) | Fcf.Alg.List |
| 2 (Type/Class) | Fcf.Data.Text |
| Span | Fcf.Alg.List |
| Split | Fcf.Data.Text |
| SplitOn | Fcf.Data.Text |
| Strip | |
| 1 (Type/Class) | Fcf.Alg.Morphism |
| 2 (Type/Class) | Fcf.Data.Text |
| SubFLevels | Fcf.Data.Tree |
| Succ | Fcf.Alg.Tree |
| Sum | Fcf.Alg.List |
| SumAlg | Fcf.Alg.List |
| SumNodesAlg | Fcf.Alg.Tree |
| Symbol | Fcf.Data.Symbol |
| SymbolListOrd | Fcf.Alg.Sort |
| SymbolOrd | Fcf.Data.Symbol |
| SynthAlg | Fcf.Alg.Morphism |
| Synthesize | Fcf.Alg.Morphism |