| Sat | Language.Syntactic.Syntax, Language.Syntactic |
| SatContext | Language.Syntactic.Syntax, Language.Syntactic |
| SatWit | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| Sel1 | Language.Syntactic.Constructs.Tuple |
| Sel1' | Language.Syntactic.Constructs.Tuple |
| Sel2 | Language.Syntactic.Constructs.Tuple |
| Sel2' | Language.Syntactic.Constructs.Tuple |
| Sel3 | Language.Syntactic.Constructs.Tuple |
| Sel3' | Language.Syntactic.Constructs.Tuple |
| Sel4 | Language.Syntactic.Constructs.Tuple |
| Sel4' | Language.Syntactic.Constructs.Tuple |
| Sel5 | Language.Syntactic.Constructs.Tuple |
| Sel5' | Language.Syntactic.Constructs.Tuple |
| Sel6 | Language.Syntactic.Constructs.Tuple |
| Sel6' | Language.Syntactic.Constructs.Tuple |
| Sel7 | Language.Syntactic.Constructs.Tuple |
| Sel7' | Language.Syntactic.Constructs.Tuple |
| Select | Language.Syntactic.Constructs.Tuple |
| selectPos | Language.Syntactic.Constructs.Tuple |
| Sem | Language.Syntactic.Interpretation.Semantics |
| Semantic | Language.Syntactic.Interpretation.Semantics |
| semanticEval | Language.Syntactic.Interpretation.Semantics |
| semanticName | Language.Syntactic.Interpretation.Semantics |
| Semantics | Language.Syntactic.Interpretation.Semantics |
| semantics | Language.Syntactic.Interpretation.Semantics |
| showASG | Language.Syntactic.Sharing.Graph |
| showAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| showDecor | Language.Syntactic.Constructs.Decoration |
| showNode | Language.Syntactic.Sharing.Graph |
| showVar | Language.Syntactic.Constructs.Binding |
| Signature | Language.Syntactic.Syntax, Language.Syntactic |
| SimpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
| simpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
| SimpleWit | Language.Syntactic.Syntax, Language.Syntactic |
| single | Language.Syntactic.Sharing.Utils |
| SomeAST | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| stCast | Language.Syntactic.Sharing.StableName |
| StName | |
| 1 (Type/Class) | Language.Syntactic.Sharing.StableName |
| 2 (Data Constructor) | Language.Syntactic.Sharing.StableName |
| stripDecor | Language.Syntactic.Constructs.Decoration |
| subst | Language.Syntactic.Constructs.Binding |
| sugar | Language.Syntactic.Syntax, Language.Syntactic |
| sugarMonad | Language.Syntactic.Frontend.Monad |
| sugarN | Language.Syntactic.Syntax, Language.Syntactic |
| sugarSym | Language.Syntactic.Syntax, Language.Syntactic |
| sugarSymCtx | Language.Syntactic.Syntax, Language.Syntactic |
| sugarTup2 | Language.Syntactic.Constructs.Tuple |
| sugarTup3 | Language.Syntactic.Constructs.Tuple |
| sugarTup4 | Language.Syntactic.Constructs.Tuple |
| sugarTup5 | Language.Syntactic.Constructs.Tuple |
| sugarTup6 | Language.Syntactic.Constructs.Tuple |
| sugarTup7 | Language.Syntactic.Constructs.Tuple |
| Sym | Language.Syntactic.Syntax, Language.Syntactic |
| Syntactic | Language.Syntactic.Syntax, Language.Syntactic |
| SyntacticN | Language.Syntactic.Syntax, Language.Syntactic |
| SyntaxPF | Language.Syntactic.Sharing.Graph |