Index - S
| SExpr | Syntax |
| sexprParser | Parser |
| sexprToCbpv | Syntax |
| ShiftA | Syntax |
| Sigma | Types |
| skolemize | Types |
| Solve | Types |
| solveInference | Types |
| solver | Types |
| step | CESKM |
| Store | CESKM |
| store | CESKM |
| Subst | |
| 1 (Type/Class) | Types |
| 2 (Data Constructor) | Types |
| substEmpty | Types |
| Substitutable | Types |
| substitute | Types |
| SuspendA | Syntax |
| SymA | Syntax |
| Symbol | Syntax |
| symParser | Parser |
| SymS | Syntax |
| symS | Syntax |