Index - S
| semi | Twee.Pretty, Twee.Base |
| sep | Twee.Pretty, Twee.Base |
| SetJoining | Twee |
| Simplification | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| simplifies | Twee.Rule |
| Simplify | Twee |
| simplifyRule | Twee |
| SingleCP | Twee |
| Singleton | Twee.Index |
| singleton | |
| 1 (Function) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| 3 (Function) | Twee.Indexes |
| size | |
| 1 (Function) | Twee.Term.Core |
| 2 (Function) | Twee.Base |
| 3 (Function) | Twee.Index |
| Sized | Twee.Base |
| sizedText | Twee.Pretty, Twee.Base |
| sizeLessIn | Twee.KBO |
| skipCompositeSuperpositions | Twee |
| Skolem | |
| 1 (Data Constructor) | Twee.Base |
| 2 (Type/Class) | Twee.Base |
| skolem | Twee.Base |
| solve | Twee.Constraints |
| sortBy' | Twee.Utils |
| space | Twee.Pretty, Twee.Base |
| Step | Twee.Rule |
| 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 |
| Subjoining | 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 |
| Substitution | Twee.Term, Twee.Base |
| substList | Twee.Term, Twee.Base |
| SubstOf | Twee.Base |
| substSize | Twee.Term, Twee.Base |
| substTri | Twee.Term, Twee.Base |
| substUnion | Twee.Term, Twee.Base |
| Subsumed | Twee |
| subterms | Twee.Term, Twee.Base |
| subtermsList | Twee.Term, Twee.Base |
| supply | Twee.Pretty, Twee.Base |
| Symbol | |
| 1 (Type/Class) | Twee.Term.Core |
| 2 (Data Constructor) | Twee.Term.Core |
| Symbolic | Twee.Base |