Index - S
| Score | Twee.PassiveQueue |
| score | Twee.CP |
| semi | Twee.Pretty, Twee.Base |
| sep | Twee.Pretty, Twee.Base |
| simpleRewrite | Twee.Rule |
| simplerThan | Twee.Equation |
| simplify | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| simplify1 | Twee.Rule |
| simplifyOverlap | Twee.CP |
| simplifyPassive | Twee |
| SimplifyQueue | Twee |
| simplifyQueue | Twee |
| simplifyTerm | Twee |
| singleton | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| size | Twee.Base |
| Sized | Twee.Base |
| sizedText | Twee.Pretty, Twee.Base |
| Skolem | |
| 1 (Data Constructor) | Twee.Base |
| 2 (Type/Class) | Twee.Base |
| skolem | Twee.Base |
| solutions | Twee |
| solve | Twee.Constraints |
| solved | Twee |
| sortBy' | Twee.Utils |
| space | Twee.Pretty, Twee.Base |
| split | Twee.CP |
| splitInterval | Twee.Utils |
| State | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| Step | Twee.Rule |
| step | Twee.Rule |
| step1 | Twee.Join |
| step2 | Twee.Join |
| step3 | Twee.Join |
| steps | Twee.Rule |
| Str | Twee.Pretty, Twee.Base |
| Strategy | Twee.Rule |
| Strict | Twee.Constraints, Twee.Base |
| Strictness | Twee.Constraints, Twee.Base |
| Style | |
| 1 (Data Constructor) | Twee.Pretty, Twee.Base |
| 2 (Type/Class) | Twee.Pretty, Twee.Base |
| style | Twee.Pretty, Twee.Base |
| st_active_ids | Twee |
| st_considered | Twee |
| st_goals | Twee |
| st_joinable | Twee |
| st_messages_rev | Twee |
| st_next_active | Twee |
| st_next_rule | Twee |
| st_queue | Twee |
| st_rules | Twee |
| st_rule_ids | Twee |
| Subst | |
| 1 (Type/Class) | Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term, Twee.Base |
| subst | |
| 1 (Function) | Twee.Term |
| 2 (Function) | Twee.Base |
| substCompatible | Twee.Term, Twee.Base |
| substCompose | Twee.Term, Twee.Base |
| substDomain | Twee.Term, Twee.Base |
| SubstFun | Twee.Term, Twee.Base |
| Substitution | Twee.Term, Twee.Base |
| substList | Twee.Term, Twee.Base |
| SubstOf | Twee.Base |
| substSize | Twee.Term, Twee.Base |
| substToList | Twee.Term, Twee.Base |
| substUnion | Twee.Term, Twee.Base |
| subst_ | Twee.Base |
| subsumed | Twee.Join |
| subterms | Twee.Term, Twee.Base |
| subtermsList | Twee.Term, Twee.Base |
| successors | Twee.Rule |
| successorsAndNormalForms | Twee.Rule |
| supply | Twee.Pretty, Twee.Base |
| Symbolic | Twee.Base |
| Symm | Twee.Proof |
| symm | Twee.Proof |