Index - S
| sameSize | Termination |
| scalarProdukt | Termination |
| Scope | Warshall |
| scopeCheck | ScopeChecker |
| second12 | TCM |
| secondHalf | Termination |
| self | Options |
| Sem | Lexer |
| SemCxt | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| SemiRing | |
| 1 (Type/Class) | Semiring |
| 2 (Type/Class) | Warshall |
| Semiring | |
| 1 (Type/Class) | Semiring |
| 2 (Data Constructor) | Semiring |
| sep | PrettyTCM |
| separate | Util |
| Set | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| set0 | Concrete |
| setCo | TCM |
| setDec | Abstract |
| setExtrTyp | TCM |
| setExtrTypQ | TCM |
| setMeasure | TCM |
| setPol | Abstract |
| setType | TCM |
| setTypeOfName | TCM |
| sgSub | TypeChecker |
| sgVal | Value |
| shallowSuccP | Abstract |
| ShCoSet | Eval |
| ShData | Eval |
| ShNe | Eval |
| ShNone | Eval |
| showAll | MainLib |
| showCase | Abstract |
| showCases | Abstract |
| showCast | Abstract |
| showDeriving | HsSyntax |
| showEnv | Value |
| showEnv' | Value |
| showFun | Abstract |
| showLet | MainLib |
| showList | Util |
| showMults | Polarity |
| showPVar | Polarity |
| showSkipLambda | Value |
| showVals | Value |
| showValuation | Value |
| ShQuant | Eval |
| ShSet | Eval |
| ShSing | Eval |
| ShSingL | Eval |
| ShSingR | Eval |
| shSize | Eval |
| ShSort | Eval |
| ShSortC | Eval |
| SigDef | TCM |
| Sigma | Abstract |
| Signature | TCM |
| signature | TCM |
| Sing | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| sing | Eval |
| sing' | Eval |
| singleton | Collection |
| Size | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | SparseMatrix |
| 3 (Data Constructor) | SparseMatrix |
| 4 (Type/Class) | Util |
| 5 (Data Constructor) | Abstract |
| 6 (Data Constructor) | Concrete |
| size | |
| 1 (Function) | SparseMatrix |
| 2 (Function) | Util |
| sizeChangeTermination | Termination |
| SizeConst | Warshall |
| Sized | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| SizedCoFun | TypeChecker |
| sizeDomain | Abstract |
| SizeExpr | Warshall |
| sizeExprToExpr | TCM |
| sizeInvariant | SparseMatrix |
| SizeP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| sizeRels | TCM |
| sizeRigid | Warshall |
| sizeSuccE | Abstract |
| SizeVar | Warshall |
| sizeVarBelow | TCM |
| sizeVarsToInfty | Abstract |
| Slash | Lexer |
| solToSubst | TCM |
| Solution | Warshall |
| solution | TCM |
| solve | Warshall |
| solveAndModify | TCM |
| solveConstraints | TCM |
| Sort | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Abstract |
| SortC | Abstract |
| SortShape | Eval |
| sortView | Eval |
| sortView12 | Eval |
| source | Termination |
| spaceToUnderscore | Abstract |
| SpineView | Abstract |
| spineView | Abstract |
| SPos | Polarity |
| square | SparseMatrix |
| ssum | Termination |
| star | Extract |
| stepCG | Termination |
| Subst | Abstract |
| subst | Abstract |
| Substitute | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | TypeChecker |
| substitute | TypeChecker |
| Substitution | TypeChecker |
| subsumes | Termination |
| subsumesCC | Termination |
| subtype | Eval |
| Succ | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| succKind | Abstract |
| succMeasure | Abstract |
| SuccP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| succSize | Value |
| succSort | Abstract |
| succView | Abstract |
| suggestion | Abstract |
| switch | Eval |
| Switchable | Eval |
| symbKind | TCM |
| symbolKind | TCM |
| symbTyp | TCM |
| szAntitone | TypeChecker |
| szCheckIndFun | TypeChecker |
| szCheckIndFunSize | TypeChecker |
| szCoInductive | TypeChecker |
| szConstructor | TypeChecker |
| szInductive | TypeChecker |
| szLowerSemiCont | TypeChecker |
| szMono | TypeChecker |
| szMonotone | TypeChecker |
| szSizeVarDataArgs | TypeChecker |
| szSizeVarTarget | TypeChecker |
| szSizeVarUsage | TypeChecker |
| szType | TypeChecker |
| szUsed | TypeChecker |
| szUsed' | TypeChecker |