Index
| ! | Twee.Array |
| $$ | Twee.Pretty, Twee.Base |
| $+$ | Twee.Pretty, Twee.Base |
| &&& | Twee.Constraints |
| :=: | Twee.Rule |
| <+> | Twee.Pretty, Twee.Base |
| <> | Twee.Pretty, Twee.Base |
| addCancellationRule | Twee |
| addEquals | Twee.Constraints |
| addExtraRule | Twee |
| addGoals | Twee |
| addLess | Twee.Constraints |
| addRule | Twee |
| addTerm | Twee.Constraints |
| allRules | Twee |
| allSubst | Twee.Term, Twee.Base |
| And | Twee.Constraints |
| anywhere | Twee.Rule |
| anywhere1 | Twee.Rule |
| App | Twee.Term, Twee.Base |
| app | Twee.Term, Twee.Base |
| Arity | Twee.Base |
| arity | Twee.Base |
| Array | |
| 1 (Type/Class) | Twee.Array |
| 2 (Data Constructor) | Twee.Array |
| array | Twee.Term.Core |
| arrayContents | Twee.Array |
| arraySize | Twee.Array |
| at | Twee.Term.Core, Twee.Term, Twee.Base |
| Atom | Twee.Constraints |
| atomicCancellation | Twee |
| atoms | Twee.Constraints |
| best | Twee |
| bestCancellation | Twee |
| bothSides | Twee.Rule |
| bound | Twee.Term, Twee.Base |
| boundList | Twee.Term, Twee.Base |
| braces | Twee.Pretty, Twee.Base |
| brackets | Twee.Pretty, Twee.Base |
| Branch | |
| 1 (Type/Class) | Twee.Constraints |
| 2 (Data Constructor) | Twee.Constraints |
| branches | Twee.Constraints |
| Build | Twee.Term, Twee.Base |
| build | Twee.Term, Twee.Base |
| Builder | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core |
| builder | Twee.Term, Twee.Base |
| Builder1 | Twee.Term.Core |
| BuilderOf | Twee.Base |
| buildList | Twee.Term, Twee.Base |
| buildTermList | Twee.Term.Core |
| built | Twee.Term.Core |
| Cache | Twee.Label |
| cache | Twee.Label |
| CacheState | |
| 1 (Type/Class) | Twee.Label |
| 2 (Data Constructor) | Twee.Label |
| Cancel | Twee |
| CancellationRule | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cancellationRules | Twee |
| cancellations | Twee |
| cancelledWeight | Twee |
| canonicalise | |
| 1 (Function) | Twee.Term |
| 2 (Function) | Twee.Base |
| cat | Twee.Pretty, Twee.Base |
| char | Twee.Pretty, Twee.Base |
| checked | Twee.Term.Core |
| children | Twee.Term, Twee.Base |
| Chr | Twee.Pretty, Twee.Base |
| close | Twee.Term, Twee.Base |
| collate | Twee.Utils |
| colon | Twee.Pretty, Twee.Base |
| comma | Twee.Pretty, Twee.Base |
| compareContents | Twee.Term.Core |
| complete | Twee |
| complete1 | Twee |
| con | Twee.Term, Twee.Base |
| conj | Twee.Constraints |
| Cons | Twee.Term.Core, Twee.Term, Twee.Base |
| Consider | Twee |
| consider | Twee |
| ConsSym | Twee.Term.Core, Twee.Term, Twee.Base |
| Constant | Twee.Constraints |
| ConstantOf | Twee.Base |
| contradictory | Twee.Constraints |
| count | Twee |
| CP | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cp | Twee |
| cpAge1 | Twee |
| cpAge2 | Twee |
| cpCP | Twee |
| cpId | Twee |
| CPInfo | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cpOK | Twee |
| CPs | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cpSplits | Twee |
| cpWeight | Twee |
| cpWeight2 | Twee |
| Critical | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| critical | Twee |
| criticalPairs | Twee |
| criticalPairs1 | Twee |
| CritInfo | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| critInfo | Twee |
| cr_rule | Twee |
| cr_unified | Twee |
| curried | Twee.Pretty, Twee.Base |
| def | Twee.Array |
| Default | Twee.Array |
| Delay | Twee |
| delete | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Indexes |
| deleteCancellationRule | Twee |
| deleteLabel | Twee.Queue |
| deleteRule | Twee |
| dequeue | Twee.Queue |
| dequeueM | Twee |
| Discharge | Twee |
| disj | Twee.Constraints |
| Doc | Twee.Pretty, Twee.Base |
| double | Twee.Pretty, Twee.Base |
| doubleQuotes | Twee.Pretty, Twee.Base |
| easyRules | Twee |
| Either1 | Twee.Queue |
| elem | Twee.Index |
| elems | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Indexes |
| emitFun | Twee.Term.Core |
| emitReplacement | Twee |
| emitSymbolBuilder | Twee.Term.Core |
| emitTerm | Twee.Term, Twee.Base |
| emitTermList | Twee.Term.Core |
| emitVar | Twee.Term.Core |
| Empty | Twee.Term.Core, Twee.Term, Twee.Base |
| empty | |
| 1 (Function) | Twee.Pretty, Twee.Base |
| 2 (Function) | Twee.Queue |
| 3 (Function) | Twee.Indexes |
| emptyFIFO | Twee.Queue |
| emptyFrom | Twee.Queue |
| emptyHeap | Twee.Queue |
| emptyMix | Twee.Queue |
| emptyQueue | Twee.Queue |
| emptySubst | Twee.Term, Twee.Base |
| emptyTermList | Twee.Term, Twee.Base |
| enqueue | Twee.Queue |
| enqueueM | Twee |
| Entry | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| eqSameLength | Twee.Term.Core |
| equals | |
| 1 (Function) | Twee.Pretty, Twee.Base |
| 2 (Function) | Twee.Constraints |
| Equation | Twee.Rule |
| EquationOf | Twee.Rule |
| evalSubst | Twee.Term, Twee.Base |
| Event | Twee |
| expand | Twee.Index |
| extend | Twee.Term, Twee.Base |
| Extended | Twee.Base |
| extended | Twee.Base |
| extendList | Twee.Term, Twee.Base |
| ExtraRule | Twee |
| extraRules | Twee |
| extraRuleSafe | Twee |
| e_key | Twee.Index |
| e_value | Twee.Index |
| false | Twee.Constraints |
| fcat | Twee.Pretty, Twee.Base |
| FIFO | |
| 1 (Type/Class) | Twee.Queue |
| 2 (Data Constructor) | Twee.Queue |
| filter | Twee.Index |
| find | |
| 1 (Function) | Twee.Label |
| 2 (Function) | Twee.Index |
| first | Twee.Pretty, Twee.Base |
| fixedArity | Twee.Pretty, Twee.Base |
| flattenSubst | Twee.Term, Twee.Base |
| float | Twee.Pretty, Twee.Base |
| foldSubst | Twee.Term, Twee.Base |
| formAnd | Twee.Constraints |
| forMSubst_ | Twee.Term, Twee.Base |
| Formula | Twee.Constraints |
| freeze | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Indexes |
| from | |
| 1 (Function) | Twee.Label |
| 2 (Function) | Twee |
| fromFun | Twee.Term, Twee.Base |
| fromInt | Twee.Term, Twee.Base |
| fromSymbol | Twee.Term.Core |
| fromTerm | Twee.Constraints |
| fromTermList | Twee.Term, Twee.Base |
| Frozen | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| fsep | Twee.Pretty, Twee.Base |
| fullRender | Twee.Pretty, Twee.Base |
| Fun | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core, Twee.Term, Twee.Base |
| fun | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| Function | |
| 1 (Data Constructor) | Twee.Base |
| 2 (Type/Class) | Twee.Base |
| FunOf | Twee.Base |
| funs | |
| 1 (Function) | Twee.Constraints |
| 2 (Function) | Twee.Base |
| getArray | Twee.Term.Core |
| getIndex | Twee.Term.Core |
| getMax | Twee.Utils |
| getMaxWith | Twee.Utils |
| getMin | Twee.Utils |
| getMinWith | Twee.Utils |
| getSize | Twee.Term.Core |
| goals | Twee |
| groundJoin | Twee |
| groundJoinable | Twee |
| groundJoinableEq | Twee |
| GroundJoined | Twee |
| hang | Twee.Pretty, Twee.Base |
| hcat | Twee.Pretty, Twee.Base |
| Heap | Twee.Queue |
| here | Twee.Index |
| Heuristic | Twee.Queue |
| high | Twee.Term.Core |
| hsep | Twee.Pretty, Twee.Base |
| idempotent | Twee.Term, Twee.Base |
| idempotentOn | Twee.Term, Twee.Base |
| implicitArguments | Twee.Pretty, Twee.Base |
| Index | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| index | Twee.Term.Core |
| Indexes | |
| 1 (Type/Class) | Twee.Indexes |
| 2 (Data Constructor) | Twee.Indexes |
| infixStyle | Twee.Pretty, Twee.Base |
| info | Twee |
| Initial | Twee |
| InitialCP | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| initialId | Twee.Label |
| initialState | Twee |
| insert | |
| 1 (Function) | Twee.Queue |
| 2 (Function) | Twee.Index |
| 3 (Function) | Twee.Indexes |
| int | Twee.Pretty, Twee.Base |
| integer | Twee.Pretty, Twee.Base |
| interreduce | Twee |
| invisible | Twee.Pretty, Twee.Base |
| isEmpty | Twee.Pretty, Twee.Base |
| isFun | |
| 1 (Function) | Twee.Term.Core |
| 2 (Function) | Twee.Term, Twee.Base |
| isGround | Twee.Base |
| isInstanceOf | Twee.Term, Twee.Base |
| isMinimal | Twee.Base |
| isSorted | Twee.Utils |
| isSortedBy | Twee.Utils |
| isVar | Twee.Term, Twee.Base |
| isVariantOf | Twee.Term, Twee.Base |
| Joined | Twee |
| JoinReason | Twee |
| JoinStage | Twee |
| joinStatistics | Twee |
| key | Twee.Index |
| l1 | Twee |
| l2 | Twee |
| Label | |
| 1 (Type/Class) | Twee.Queue |
| 2 (Data Constructor) | Twee.Queue |
| label | |
| 1 (Function) | Twee.Label |
| 2 (Function) | Twee |
| Labelled | |
| 1 (Type/Class) | Twee.Label |
| 2 (Type/Class) | Twee.Queue |
| 3 (Data Constructor) | Twee.Queue |
| labelledRules | Twee |
| labelM | Twee.Utils |
| labelOf | Twee.Queue |
| Labels | Twee.Queue |
| labels | Twee.Queue |
| lbrace | Twee.Pretty, Twee.Base |
| lbrack | Twee.Pretty, Twee.Base |
| left | Twee.Queue |
| Left1 | Twee.Queue |
| LeftMode | Twee.Pretty, Twee.Base |
| len | Twee.Term, Twee.Base |
| lenList | Twee.Term.Core, Twee.Term, Twee.Base |
| Less | Twee.Constraints |
| less | Twee.Constraints |
| LessEq | Twee.Constraints |
| lessEq | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| 3 (Function) | Twee.LPO |
| lessEqInModel | Twee.Constraints |
| lessIn | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| 3 (Function) | Twee.LPO |
| lexLessIn | Twee.KBO |
| lhs | Twee.Rule |
| lhsWeight | Twee |
| liftST | Twee.Term.Core |
| lineLength | Twee.Pretty, Twee.Base |
| listSubst | Twee.Term, Twee.Base |
| listSubstList | Twee.Term, Twee.Base |
| lookup | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| lookupList | Twee.Term, Twee.Base |
| low | Twee.Term.Core |
| lower | Twee |
| lparen | Twee.Pretty, Twee.Base |
| ManyCPs | Twee |
| map | Twee.Index |
| mapFun | Twee.Term, Twee.Base |
| mapFunList | Twee.Term, Twee.Base |
| Match | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| match | Twee.Term, Twee.Base |
| matches | Twee.Index |
| matchesList | Twee.Index |
| matchesList_ | Twee.Index |
| matchList | Twee.Term, Twee.Base |
| matchResult | Twee.Index |
| matchSubst | Twee.Index |
| Max | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| maxCancellationSize | Twee |
| maxRating | Twee.Indexes |
| maxSize | Twee |
| maybeBraces | Twee.Pretty, Twee.Base |
| maybeBrackets | Twee.Pretty, Twee.Base |
| maybeDoubleQuotes | Twee.Pretty, Twee.Base |
| maybeParens | Twee.Pretty, Twee.Base |
| maybeQuotes | Twee.Pretty, Twee.Base |
| members | Twee.Queue |
| Min | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| Minimal | |
| 1 (Type/Class) | Twee.Constraints, Twee.Base |
| 2 (Data Constructor) | Twee.Base |
| minimal | Twee.Constraints, Twee.Base |
| minimalTerm | Twee.Base |
| minimumCPSetSize | Twee |
| minimumIn | Twee.KBO |
| Mix | |
| 1 (Type/Class) | Twee.Queue |
| 2 (Data Constructor) | Twee.Queue |
| mkCache | Twee.Label |
| MkFun | Twee.Term.Core, Twee.Term, Twee.Base |
| MkVar | Twee.Term.Core, Twee.Term, Twee.Base |
| Mode | Twee.Pretty, Twee.Base |
| mode | Twee.Pretty, Twee.Base |
| Model | |
| 1 (Type/Class) | Twee.Constraints |
| 2 (Data Constructor) | Twee.Constraints |
| model | Twee |
| modelFromOrder | Twee.Constraints |
| Modelled | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| modelled | Twee |
| modelToLiterals | Twee.Constraints |
| moreTracing | Twee |
| moveLabel | Twee.Queue |
| negateFormula | Twee.Constraints |
| nest | Twee.Pretty, Twee.Base |
| nested | Twee.Rule |
| newArray | Twee.Array |
| NewCP | Twee |
| newEquation | Twee |
| newLabel | Twee.Queue |
| newLabelM | Twee |
| NewRule | Twee |
| nextId | Twee.Label |
| nextLabel | Twee.Queue |
| Nil | Twee.Index |
| noCritInfo | Twee |
| noLabel | Twee.Queue |
| Nonstrict | Twee.Constraints, Twee.Base |
| norm | Twee.Constraints |
| normalForms | Twee.Rule |
| normalise | Twee |
| normaliseCP | Twee |
| normaliseCPQuickly | Twee |
| normaliseCPReducing | Twee |
| NormaliseCPs | Twee |
| normaliseCPs | Twee |
| normaliseIn | Twee |
| normaliseQuickly | Twee |
| normaliseSkolem | Twee |
| normaliseSub | Twee |
| normaliseWith | Twee.Rule |
| null | Twee.Index |
| Numbered | Twee.Term, Twee.Base |
| occ | Twee.Base |
| occurs | Twee.Term, Twee.Base |
| occursList | Twee.Term, Twee.Base |
| OneLineMode | Twee.Pretty, Twee.Base |
| optimise | Twee |
| Or | Twee.Constraints |
| order | Twee.Rule |
| Ordered | Twee.Constraints, Twee.Base |
| orElse | Twee.Utils |
| orient | Twee.Rule |
| Orientation | Twee.Rule |
| orientation | Twee.Rule |
| Oriented | Twee.Rule |
| oriented | Twee.Rule |
| orientTerms | Twee.Constraints, Twee.Base |
| overlap | Twee |
| overlaps | Twee |
| PageMode | Twee.Pretty, Twee.Base |
| Parallel | Twee.Rule |
| parens | Twee.Pretty, Twee.Base |
| partitionBy | Twee.Utils |
| Passive | Twee |
| passiveCount | Twee |
| patHead | Twee.Term.Core |
| patNext | Twee.Term.Core |
| patRoot | Twee.Term.Core |
| peel | Twee.Queue |
| Permutative | Twee.Rule |
| positions | Twee |
| postfix | Twee.Pretty, Twee.Base |
| pPrint | Twee.Pretty, Twee.Base |
| pPrintList | Twee.Pretty, Twee.Base |
| pPrintParen | Twee.Pretty, Twee.Base |
| pPrintPrec | Twee.Pretty, Twee.Base |
| pPrintReduction | Twee.Rule |
| pPrintRule | Twee.Rule |
| pPrintSet | Twee.Pretty, Twee.Base |
| pPrintTerm | Twee.Pretty, Twee.Base |
| pPrintTuple | Twee.Pretty, Twee.Base |
| prefix | Twee.Pretty, Twee.Base |
| Pretty | Twee.Pretty, Twee.Base |
| PrettyLevel | |
| 1 (Data Constructor) | Twee.Pretty, Twee.Base |
| 2 (Type/Class) | Twee.Pretty, Twee.Base |
| prettyNormal | Twee.Pretty, Twee.Base |
| prettyParen | Twee.Pretty, Twee.Base |
| prettyPrint | Twee.Pretty, Twee.Base |
| prettyShow | Twee.Pretty, Twee.Base |
| PrettyTerm | Twee.Pretty, Twee.Base |
| processedCPs | Twee |
| properSubterms | Twee.Term, Twee.Base |
| properSubtermsList | Twee.Term, Twee.Base |
| PStr | Twee.Pretty, Twee.Base |
| ptext | Twee.Pretty, Twee.Base |
| punctuate | Twee.Pretty, Twee.Base |
| putIndex | Twee.Term.Core |
| Queue | |
| 1 (Type/Class) | Twee.Queue |
| 2 (Data Constructor) | Twee.Queue |
| queue | |
| 1 (Function) | Twee.Queue |
| 2 (Function) | Twee |
| queueCP | Twee |
| queueCPs | Twee |
| queueCPsSplit | Twee |
| queueLabels | Twee.Queue |
| queueSize | Twee.Queue |
| quotes | Twee.Pretty, Twee.Base |
| Rated | Twee.Indexes |
| rating | Twee.Indexes |
| rational | Twee.Pretty, Twee.Base |
| rbrace | Twee.Pretty, Twee.Base |
| rbrack | Twee.Pretty, Twee.Base |
| Reduce | Twee |
| reduceCP | Twee |
| reduceDoc | Twee.Pretty, Twee.Base |
| reduces | Twee.Rule |
| reducesInModel | Twee.Rule |
| reducesSkolem | Twee.Rule |
| reducesSub | Twee.Rule |
| reducesWith | Twee.Rule |
| reduceWith | Twee |
| Reducing | Twee |
| Reduction | Twee.Rule |
| reenqueue | Twee.Queue |
| reenqueueM | Twee |
| reinsert | Twee.Queue |
| remove | Twee.Queue |
| render | Twee.Pretty, Twee.Base |
| renderStyle | Twee.Pretty, Twee.Base |
| renormaliseAt | Twee |
| renormaliseGoals | Twee |
| Reorient | Twee |
| repeatM | Twee.Utils |
| replace | Twee.Base |
| report | Twee |
| result | Twee.Rule |
| retract | Twee.Term, Twee.Base |
| rewrite | Twee.Rule |
| rhs | Twee.Rule |
| rhsWeight | Twee |
| ribbonsPerLine | Twee.Pretty, Twee.Base |
| right | Twee.Queue |
| Right1 | Twee.Queue |
| root | Twee.Term.Core |
| rparen | Twee.Pretty, Twee.Base |
| Rule | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| rule | Twee.Rule |
| ruleOverlaps | Twee |
| rules | Twee |
| rulesFor | Twee |
| 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 |
| takeLeft | Twee.Queue |
| takeNext | Twee.Queue |
| takeRight | Twee.Queue |
| Term | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core |
| term | Twee.Base |
| TermList | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core |
| termlist | Twee.Term.Core |
| TermListOf | Twee.Base |
| termListToList | Twee.Term, Twee.Base |
| TermOf | Twee.Base |
| terms | Twee.Base |
| termsDL | Twee.Base |
| TermStyle | |
| 1 (Type/Class) | Twee.Pretty, Twee.Base |
| 2 (Data Constructor) | Twee.Pretty, Twee.Base |
| termStyle | Twee.Pretty, Twee.Base |
| text | Twee.Pretty, Twee.Base |
| TextDetails | Twee.Pretty, Twee.Base |
| then_ | Twee.Term.Core |
| to | Twee.Label |
| toCancellationRule | Twee |
| toCP | Twee |
| toCPs | Twee |
| toFun | Twee.Term, Twee.Base |
| toInt | Twee.Term, Twee.Base |
| toList | |
| 1 (Function) | Twee.Queue |
| 2 (Function) | Twee.Array |
| top | Twee |
| toSymbol | Twee.Term.Core |
| totalCPs | Twee |
| toTerm | Twee.Constraints |
| trace | Twee |
| traceIf | Twee |
| traceM | Twee |
| tracing | Twee |
| Trans | Twee.Rule |
| Triangle | Twee.Term, Twee.Base |
| TriangleSubst | Twee.Term, Twee.Base |
| Trivial | Twee |
| trivial | Twee.Rule |
| true | Twee.Constraints |
| trueBranch | Twee.Constraints |
| tryRule | Twee.Rule |
| tupleStyle | Twee.Pretty, Twee.Base |
| Twee | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| unbuffered | Twee.Utils |
| unBuilder | Twee.Term.Core |
| uncurried | Twee.Pretty, Twee.Base |
| unextended | Twee.Base |
| unify | Twee.Term, Twee.Base |
| unifyConstantsInCancellation | Twee |
| unifyList | Twee.Term, Twee.Base |
| unifyListTri | Twee.Term, Twee.Base |
| unifyTri | Twee.Term, Twee.Base |
| unIndexes | Twee.Indexes |
| union | Twee.Index |
| unlabelled | Twee.Queue |
| unorient | Twee.Rule |
| Unoriented | Twee.Rule |
| UnsafeCons | Twee.Term.Core, Twee.Term, Twee.Base |
| UnsafeConsSym | Twee.Term.Core, Twee.Term, Twee.Base |
| unsafeExtendList | Twee.Term, Twee.Base |
| unsafePatHead | Twee.Term.Core |
| unSubst | Twee.Term, Twee.Base |
| unTriangle | Twee.Term, Twee.Base |
| update | Twee.Array |
| upper | Twee |
| useCancellation | Twee |
| useConnectedness | Twee |
| useGeneralSuperpositions | Twee |
| useGroundJoining | Twee |
| useInterreduction | Twee |
| useSetJoining | Twee |
| useSetJoiningForGoals | Twee |
| useUnsafeInterreduction | Twee |
| usort | Twee.Utils |
| usortBy | Twee.Utils |
| usortBy' | Twee.Utils |
| valid | Twee |
| value | Twee.Index |
| Var | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core, Twee.Term, Twee.Base |
| var | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index |
| varGroups | Twee.Constraints |
| Variable | Twee.Constraints |
| varInModel | Twee.Constraints |
| vars | Twee.Base |
| vcat | Twee.Pretty, Twee.Base |
| weakenModel | Twee.Constraints |
| WeaklyOriented | Twee.Rule |
| weight | Twee |
| weight' | Twee |
| zeroWidthText | Twee.Pretty, Twee.Base |
| ZigZagMode | Twee.Pretty, Twee.Base |
| ||| | Twee.Constraints |