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 |