Index - S
| Sample | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| sample | Twee |
| sampleValue | Twee.Utils |
| score | Twee.CP |
| semi | Twee.Pretty, Twee.Base |
| sep | Twee.Pretty, Twee.Base |
| shouldSimplifyQueue | Twee |
| simpleLemma | Twee.Proof |
| simpleRewrite | Twee.Rule |
| simplerThan | Twee.Equation |
| simplify | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| simplifyInnermost | Twee.Rule |
| simplifyOutermost | Twee.Rule |
| simplifyOverlap | Twee.CP |
| simplifyPassive | Twee |
| SimplifyQueue | Twee |
| simplifyQueue | Twee |
| simplifySample | Twee |
| simplifyTerm | Twee |
| singleton | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| size | Twee.KBO |
| Sized | Twee.KBO |
| sizedText | Twee.Pretty, Twee.Base |
| solutions | Twee |
| solve | Twee.Constraints |
| solved | Twee |
| sortBy' | Twee.Utils |
| space | Twee.Pretty, Twee.Base |
| split | Twee.CP |
| splitInterval | Twee.Utils |
| splits | Twee.Utils |
| stamp | Twee.Profile |
| stampM | Twee.Profile |
| stampWith | Twee.Profile |
| State | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| Status | Twee |
| step1 | Twee.Join |
| step2 | Twee.Join |
| step3 | Twee.Join |
| steps | Twee.Proof |
| 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_set | Twee |
| st_complete | Twee |
| st_considered | Twee |
| st_cp_sample | Twee |
| st_goals | Twee |
| st_joinable | Twee |
| st_messages_rev | Twee |
| st_next_active | Twee |
| st_not_complete | Twee |
| st_queue | Twee |
| st_rules | Twee |
| st_simplified_at | 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 |
| substDomain | Twee.Term, Twee.Base |
| SubstFun | Twee.Term, Twee.Base, 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 |
| subsumed1 | 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 |