Index - S
| Scope | |
| 1 (Type/Class) | Tip.Scope |
| 2 (Data Constructor) | Tip.Scope |
| scope | Tip.Scope |
| ScopeM | Tip.Scope |
| ScopeT | |
| 1 (Type/Class) | Tip.Scope |
| 2 (Data Constructor) | Tip.Scope |
| Second | Tip.Passes |
| separating | |
| 1 (Function) | Tip.Pretty.Why3 |
| 2 (Function) | Tip.Pretty.Isabelle |
| should_inline | Tip.Simplify, Tip.Passes |
| Signature | |
| 1 (Type/Class) | Tip.Types, Tip.Core |
| 2 (Data Constructor) | Tip.Types, Tip.Core |
| signature | Tip.Core |
| sig_name | Tip.Types, Tip.Core |
| sig_type | Tip.Types, Tip.Core |
| SimplifyAggressively | Tip.Passes |
| simplifyExpr | Tip.Simplify |
| simplifyExprIn | Tip.Simplify |
| SimplifyGently | Tip.Passes |
| SimplifyOpts | |
| 1 (Type/Class) | Tip.Simplify, Tip.Passes |
| 2 (Data Constructor) | Tip.Simplify, Tip.Passes |
| simplifyTheory | Tip.Simplify, Tip.Passes |
| smtKeywords | Tip.Pretty.SMT |
| Sort | |
| 1 (Type/Class) | Tip.Types, Tip.Core |
| 2 (Data Constructor) | Tip.Types, Tip.Core |
| SortInfo | Tip.Scope |
| sortThings | Tip.Utils |
| sort_arity | Tip.Types, Tip.Core |
| sort_name | Tip.Types, Tip.Core |
| StandardPass | Tip.Passes |
| Stmt | |
| 1 (Type/Class) | Tip.Haskell.Repr |
| 2 (Data Constructor) | Tip.Haskell.Repr |
| String | |
| 1 (Data Constructor) | Tip.Haskell.Repr |
| 2 (Data Constructor) | Tip.Types, Tip.Core |
| substMany | Tip.Core |
| Suggestor | Tip.Utils.Rename |