Index
| $$ | Twee.Pretty, Twee.Base |
| $+$ | Twee.Pretty, Twee.Base |
| &&& | Twee.Constraints |
| :=: | Twee.Equation |
| <#> | Twee.Pretty, Twee.Base |
| <+> | Twee.Pretty, Twee.Base |
| << | Twee.Term, Twee.Base |
| Active | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| ActiveRule | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| active_cp | Twee |
| active_depth | Twee |
| active_id | Twee |
| active_model | Twee |
| active_proof | Twee |
| active_rule | Twee |
| active_rules | Twee |
| active_top | Twee |
| addActive | Twee |
| addActiveOnly | Twee |
| addAxiom | Twee |
| addCP | Twee |
| addEquals | Twee.Constraints |
| addGoal | Twee |
| addJoinable | Twee |
| addLess | Twee.Constraints |
| addTerm | Twee.Constraints |
| allSteps | Twee.Join |
| allSubst | Twee.Term, Twee.Base |
| And | Twee.Constraints |
| anywhere | Twee.Rule |
| App | Twee.Term, Twee.Base |
| app | Twee.Term, Twee.Base |
| approxMatches | Twee.Index, Twee.Rule.Index |
| Arity | Twee.Base |
| arity | Twee.Base |
| asymmetricOverlaps | Twee.CP |
| at | Twee.Term, Twee.Base |
| Atom | Twee.Constraints |
| atoms | Twee.Constraints |
| Axiom | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| axiom | Twee.Proof |
| axiom_eqn | Twee.Proof |
| axiom_name | Twee.Proof |
| axiom_number | Twee.Proof |
| backwards | Twee.Rule |
| bothSides | Twee.Equation |
| bound | Twee.Term, Twee.Base |
| boundList | Twee.Term, Twee.Base |
| boundLists | 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 | Twee.Term, Twee.Base |
| builder | Twee.Term, Twee.Base |
| BuilderOf | Twee.Base |
| BuildFun | Twee.Term, Twee.Base |
| buildList | Twee.Term, Twee.Base |
| buildReplacePositionSub | Twee.CP |
| canonicalise | |
| 1 (Function) | Twee.Term |
| 2 (Function) | Twee.Base |
| canSimplify | Twee.Rule |
| canSimplifyList | Twee.Rule |
| cat | Twee.Pretty, Twee.Base |
| certify | Twee.Proof |
| cfg_accept_term | Twee |
| cfg_all_lemmas | Twee.Proof |
| cfg_critical_pairs | Twee |
| cfg_depthweight | Twee.CP |
| cfg_dupcost | Twee.CP |
| cfg_dupfactor | Twee.CP |
| cfg_funweight | Twee.CP |
| cfg_ground_join | Twee.Join |
| cfg_join | Twee |
| cfg_lhsweight | Twee.CP |
| cfg_max_cp_depth | Twee |
| cfg_max_critical_pairs | Twee |
| cfg_no_lemmas | Twee.Proof |
| cfg_proof_presentation | Twee |
| cfg_renormalise_percent | Twee |
| cfg_rhsweight | Twee.CP |
| cfg_set_join | Twee.Join |
| cfg_show_instances | Twee.Proof |
| cfg_simplify | Twee |
| cfg_use_connectedness | Twee.Join |
| cfg_varweight | Twee.CP |
| char | Twee.Pretty, Twee.Base |
| checkProvedGoal | Twee.Proof |
| checkTask | Twee.Task |
| children | Twee.Term, Twee.Base |
| Chr | Twee.Pretty, Twee.Base |
| clearMessages | Twee |
| close | Twee.Term, Twee.Base |
| collate | Twee.Utils |
| colon | Twee.Pretty, Twee.Base |
| comma | Twee.Pretty, Twee.Base |
| complete | Twee |
| complete1 | Twee |
| completePure | Twee |
| con | Twee.Term, Twee.Base |
| Config | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| 3 (Type/Class) | Twee.CP |
| 4 (Data Constructor) | Twee.CP |
| 5 (Type/Class) | Twee.Join |
| 6 (Data Constructor) | Twee.Join |
| 7 (Type/Class) | Twee |
| 8 (Data Constructor) | Twee |
| configIsComplete | Twee |
| Cong | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| cong | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| congPath | Twee.Proof |
| conj | Twee.Constraints |
| Cons | Twee.Term, Twee.Base |
| consider | Twee |
| considerUsing | Twee |
| ConsP | Twee.CP |
| ConsSym | Twee.Term, Twee.Base |
| Constant | Twee.Constraints |
| ConstantOf | Twee.Base |
| contradictory | Twee.Constraints |
| cp_depth | Twee.CP |
| cp_eqn | Twee.CP |
| cp_proof | Twee.CP |
| cp_top | Twee.CP |
| CriticalPair | |
| 1 (Type/Class) | Twee.CP |
| 2 (Data Constructor) | Twee.CP |
| curried | Twee.Pretty, Twee.Base |
| defaultConfig | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.CP |
| 3 (Function) | Twee.Join |
| 4 (Function) | Twee |
| delete | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Rule.Index |
| DeleteActive | Twee |
| deleteActive | Twee |
| Depth | |
| 1 (Type/Class) | Twee.CP |
| 2 (Data Constructor) | Twee.CP |
| dequeue | Twee |
| Derivation | Twee.Proof |
| derivation | Twee.Proof |
| describeEquation | Twee.Proof |
| disj | Twee.Constraints |
| Doc | Twee.Pretty, Twee.Base |
| double | Twee.Pretty, Twee.Base |
| doubleQuotes | Twee.Pretty, Twee.Base |
| elems | Twee.Index |
| Empty | Twee.Term, Twee.Base |
| empty | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.PassiveQueue |
| 3 (Function) | Twee.Index |
| 4 (Function) | Twee.Rule.Index |
| emptySubst | Twee.Term, Twee.Base |
| enqueue | Twee |
| eqn_lhs | Twee.Equation |
| eqn_rhs | Twee.Equation |
| equals | |
| 1 (Function) | Twee.Pretty, Twee.Base |
| 2 (Function) | Twee.Constraints |
| EqualsBonus | Twee.Base |
| Equation | Twee.Equation |
| equation | Twee.Proof |
| EquationOf | Twee.Equation |
| erase | Twee.Base |
| evalSubst | Twee.Term, Twee.Base |
| extend | Twee.Term, Twee.Base |
| Extended | Twee.Base |
| extendList | Twee.Term, Twee.Base |
| F | Twee.Term, Twee.Base |
| false | Twee.Constraints |
| fcat | Twee.Pretty, Twee.Base |
| find | Twee.Label |
| findPassive | Twee |
| first | Twee.Pretty, Twee.Base |
| fixedArity | Twee.Pretty, Twee.Base |
| fixpoint | Twee.Utils |
| float | Twee.Pretty, Twee.Base |
| foldSubst | Twee.Term, Twee.Base |
| formAnd | Twee.Constraints |
| Formula | Twee.Constraints |
| fromTerm | Twee.Constraints |
| fsep | Twee.Pretty, Twee.Base |
| fullRender | Twee.Pretty, Twee.Base |
| Fun | Twee.Term, Twee.Base |
| fun | Twee.Term, Twee.Base |
| Function | |
| 1 (Data Constructor) | Twee.Base |
| 2 (Type/Class) | Twee.Base |
| FunOf | Twee.Base |
| funs | |
| 1 (Function) | Twee.Constraints |
| 2 (Function) | Twee.Base |
| fun_id | Twee.Term, Twee.Base |
| fun_value | Twee.Term, Twee.Base |
| getSkolem | Twee.Base |
| Goal | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| goal | Twee |
| goal_eqn | Twee |
| goal_lhs | Twee |
| goal_name | Twee |
| goal_number | Twee |
| goal_rhs | Twee |
| groundJoin | Twee.Join |
| groundJoinFrom | Twee.Join |
| groundJoinFromMaybe | Twee.Join |
| hang | Twee.Pretty, Twee.Base |
| Has | Twee.Base |
| hasEqualsBonus | Twee.Base |
| hcat | Twee.Pretty, Twee.Base |
| hsep | Twee.Pretty, Twee.Base |
| Id | |
| 1 (Type/Class) | Twee.PassiveQueue |
| 2 (Type/Class) | Twee.Base |
| 3 (Data Constructor) | Twee.Base |
| idempotent | Twee.Term, Twee.Base |
| idempotentOn | Twee.Term, Twee.Base |
| implicitArguments | Twee.Pretty, Twee.Base |
| Index | Twee.Index |
| index_all | Twee.Rule.Index |
| index_oriented | Twee.Rule.Index |
| index_weak | Twee.Rule.Index |
| infixStyle | Twee.Pretty, Twee.Base |
| initialState | Twee |
| insert | |
| 1 (Function) | Twee.PassiveQueue |
| 2 (Function) | Twee.Index |
| 3 (Function) | Twee.Rule.Index |
| int | Twee.Pretty, Twee.Base |
| integer | Twee.Pretty, Twee.Base |
| Interreduce | Twee |
| interreduce | Twee |
| interreduce1 | Twee |
| intMax | Twee.Utils |
| intMin | Twee.Utils |
| invisible | Twee.Pretty, Twee.Base |
| isApp | Twee.Term, Twee.Base |
| isEmpty | Twee.Pretty, Twee.Base |
| isEquals | Twee.Base |
| isFalse | Twee.Base |
| isGround | Twee.Base |
| isInstanceOf | Twee.Term, Twee.Base |
| isMinimal | Twee.Base |
| isSorted | Twee.Utils |
| isSortedBy | Twee.Utils |
| isSubtermOf | Twee.Term, Twee.Base |
| isSubtermOfList | Twee.Term, Twee.Base |
| isTrue | Twee.Base |
| isVar | Twee.Term, Twee.Base |
| isVariantOf | Twee.Term, Twee.Base |
| joinCriticalPair | Twee.Join |
| joinWith | Twee.Join |
| Label | Twee.Label |
| label | Twee.Label |
| labelM | Twee.Utils |
| labelNum | Twee.Label |
| lbrace | Twee.Pretty, Twee.Base |
| lbrack | Twee.Pretty, Twee.Base |
| LeftMode | Twee.Pretty, Twee.Base |
| Lemma | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| lemma | Twee.Proof |
| lemma_id | Twee.Proof |
| lemma_proof | Twee.Proof |
| len | Twee.Term, Twee.Base |
| lenList | Twee.Term, Twee.Base |
| Less | Twee.Constraints |
| less | Twee.Constraints |
| LessEq | Twee.Constraints |
| lessEq | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| lessEqInModel | Twee.Constraints |
| lessIn | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| lessThan | Twee.Constraints, Twee.Base |
| lhs | Twee.Rule |
| lineLength | Twee.Pretty, Twee.Base |
| listToSubst | Twee.Term, Twee.Base |
| lookup | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index, Twee.Rule.Index |
| lookupList | Twee.Term, Twee.Base |
| lparen | Twee.Pretty, Twee.Base |
| makeCriticalPair | Twee.CP |
| makePassives | Twee |
| mapFun | Twee.Term, Twee.Base |
| mapFunList | Twee.Term, Twee.Base |
| mapMaybe | Twee.PassiveQueue |
| match | Twee.Term, Twee.Base |
| matches | Twee.Index, Twee.Rule.Index |
| matchIn | Twee.Term, Twee.Base |
| matchList | Twee.Term, Twee.Base |
| matchListIn | Twee.Term, Twee.Base |
| 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 |
| Message | Twee |
| message | Twee |
| messages | Twee |
| Minimal | |
| 1 (Type/Class) | Twee.Constraints, Twee.Base |
| 2 (Data Constructor) | Twee.Base |
| minimal | Twee.Constraints, Twee.Base |
| minimalTerm | Twee.Base |
| Mode | Twee.Pretty, Twee.Base |
| mode | Twee.Pretty, Twee.Base |
| Model | |
| 1 (Type/Class) | Twee.Constraints |
| 2 (Data Constructor) | Twee.Constraints |
| modelFromOrder | Twee.Constraints |
| modelToLiterals | Twee.Constraints |
| negateFormula | Twee.Constraints |
| nest | Twee.Pretty, Twee.Base |
| nested | Twee.Rule |
| NewActive | Twee |
| NewEquation | Twee |
| newTask | Twee.Task |
| NilP | Twee.CP |
| Nonstrict | Twee.Constraints, Twee.Base |
| norm | Twee.Constraints |
| normalForms | |
| 1 (Function) | Twee.Rule |
| 2 (Function) | Twee |
| normaliseGoals | Twee |
| normaliseTerm | Twee |
| normaliseWith | Twee.Rule |
| null | Twee.Index |
| occ | Twee.Base |
| occurs | Twee.Term, Twee.Base |
| occVar | Twee.Base |
| OneLineMode | Twee.Pretty, Twee.Base |
| optimise | Twee.Join |
| Or | Twee.Constraints |
| order | Twee.Equation |
| 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 |
| Output | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| output_message | Twee |
| Overlap | |
| 1 (Type/Class) | Twee.CP |
| 2 (Data Constructor) | Twee.CP |
| overlapAt | Twee.CP |
| OverlapOf | Twee.CP |
| overlapProof | Twee.CP |
| overlaps | Twee.CP |
| overlapsChurch | Twee.CP |
| overlap_depth | Twee.CP |
| overlap_eqn | Twee.CP |
| overlap_inner | Twee.CP |
| overlap_pos | Twee.CP |
| overlap_top | Twee.CP |
| PackedId | Twee.PassiveQueue |
| PackedScore | Twee.PassiveQueue |
| packId | Twee.PassiveQueue |
| packScore | Twee.PassiveQueue |
| PageMode | Twee.Pretty, Twee.Base |
| parallel | Twee.Rule |
| Params | |
| 1 (Type/Class) | Twee.PassiveQueue |
| 2 (Type/Class) | Twee |
| parens | Twee.Pretty, Twee.Base |
| partitionBy | Twee.Utils |
| Passive | |
| 1 (Type/Class) | Twee.PassiveQueue |
| 2 (Data Constructor) | Twee.PassiveQueue |
| passive_pos | Twee.PassiveQueue |
| passive_rule1 | Twee.PassiveQueue |
| passive_rule2 | Twee.PassiveQueue |
| passive_score | Twee.PassiveQueue |
| pathToPosition | Twee.Term, Twee.Base |
| Permutative | Twee.Rule |
| pg_goal_hint | Twee.Proof |
| pg_name | Twee.Proof |
| pg_number | Twee.Proof |
| pg_proof | Twee.Proof |
| pg_witness_hint | Twee.Proof |
| Positions | Twee.CP |
| positions | Twee.CP |
| positionsChurch | Twee.CP |
| PositionsOf | Twee.CP |
| positionToPath | Twee.Term, Twee.Base |
| postfix | Twee.Pretty, Twee.Base |
| pPrint | Twee.Pretty, Twee.Base |
| pPrintEmpty | Twee.Pretty, Twee.Base |
| pPrintList | Twee.Pretty, Twee.Base |
| pPrintPrec | Twee.Pretty, Twee.Base |
| pPrintPresentation | Twee.Proof |
| pPrintSet | Twee.Pretty, Twee.Base |
| pPrintTerm | Twee.Pretty, Twee.Base |
| pPrintTuple | Twee.Pretty, Twee.Base |
| prefix | Twee.Pretty, Twee.Base |
| present | Twee.Proof |
| Presentation | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| pres_axioms | Twee.Proof |
| pres_goals | Twee.Proof |
| pres_lemmas | Twee.Proof |
| 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 |
| Proof | Twee.Proof |
| properSubterms | Twee.Term, Twee.Base |
| ProvedGoal | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| provedGoal | Twee.Proof |
| PStr | Twee.Pretty, Twee.Base |
| ptext | Twee.Pretty, Twee.Base |
| punctuate | Twee.Pretty, Twee.Base |
| Queue | Twee.PassiveQueue |
| quotes | Twee.Pretty, Twee.Base |
| rational | Twee.Pretty, Twee.Base |
| rbrace | Twee.Pretty, Twee.Base |
| rbrack | Twee.Pretty, Twee.Base |
| recomputeGoals | Twee |
| reduce | Twee.Rule |
| reduceDoc | Twee.Pretty, Twee.Base |
| reduces | Twee.Rule |
| reducesInModel | Twee.Rule |
| reducesOriented | Twee.Rule |
| reducesSkolem | Twee.Rule |
| reducesWith | Twee.Rule |
| Reduction | Twee.Rule |
| reduction | Twee.Rule |
| reductionProof | Twee.Rule |
| Refl | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| removeMin | Twee.PassiveQueue |
| renameAvoiding | Twee.Base |
| render | Twee.Pretty, Twee.Base |
| renderStyle | Twee.Pretty, Twee.Base |
| repeatM | Twee.Utils |
| replacePosition | Twee.Term, Twee.Base |
| replacePositionSub | Twee.Term, Twee.Base |
| result | Twee.Rule |
| Resulting | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| retract | Twee.Term, Twee.Base |
| rewrite | Twee.Rule |
| rhs | Twee.Rule |
| ribbonsPerLine | Twee.Pretty, Twee.Base |
| rparen | Twee.Pretty, Twee.Base |
| Rule | |
| 1 (Type/Class) | Twee.Rule |
| 2 (Data Constructor) | Twee.Rule |
| RuleId | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| RuleIndex | |
| 1 (Type/Class) | Twee.Rule.Index |
| 2 (Data Constructor) | Twee.Rule.Index |
| RuleOf | Twee.Rule |
| rules | Twee |
| rule_active | Twee |
| rule_depth | Twee |
| rule_positions | Twee |
| rule_proof | Twee |
| rule_rid | Twee |
| rule_rule | Twee |
| 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 |
| Task | Twee.Task |
| Term | Twee.Term, Twee.Base |
| TermList | Twee.Term, Twee.Base |
| TermListOf | 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 |
| termSubst | Twee.CP |
| text | Twee.Pretty, Twee.Base |
| TextDetails | Twee.Pretty, Twee.Base |
| the | Twee.Base |
| toTerm | Twee.Constraints |
| Trans | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| trans | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| Triangle | Twee.Term, Twee.Base |
| TriangleSubst | Twee.Term, Twee.Base |
| TriangleSubstOf | Twee.Base |
| trivial | Twee.Equation |
| true | Twee.Constraints |
| trueBranch | Twee.Constraints |
| tryRule | Twee.Rule |
| tupleStyle | Twee.Pretty, Twee.Base |
| unbuffered | Twee.Utils |
| uncurried | Twee.Pretty, Twee.Base |
| unId | Twee.Base |
| unify | Twee.Term, Twee.Base |
| unifyList | Twee.Term, Twee.Base |
| unifyListTri | Twee.Term, Twee.Base |
| unifyListTriFrom | Twee.Term, Twee.Base |
| unifyTri | Twee.Term, Twee.Base |
| unorient | Twee.Rule |
| Unoriented | Twee.Rule |
| unpack | Twee.Term, Twee.Base |
| unpackId | Twee.PassiveQueue |
| unpackScore | Twee.PassiveQueue |
| UnsafeCons | Twee.Term, Twee.Base |
| UnsafeConsSym | Twee.Term, Twee.Base |
| unsafeExtendList | Twee.Term, Twee.Base |
| unsafeMkLabel | Twee.Label |
| unSubst | Twee.Term, Twee.Base |
| unTriangle | Twee.Term, Twee.Base |
| UseAxiom | Twee.Proof |
| usedAxioms | Twee.Proof |
| usedAxiomsAndSubsts | Twee.Proof |
| usedLemmas | Twee.Proof |
| usedLemmasAndSubsts | Twee.Proof |
| UseLemma | Twee.Proof |
| usort | Twee.Utils |
| usortBy | Twee.Utils |
| usortBy' | Twee.Utils |
| V | Twee.Term, Twee.Base |
| valid | Twee.Join |
| Var | |
| 1 (Type/Class) | Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term, Twee.Base |
| var | Twee.Term, Twee.Base |
| varGroups | Twee.Constraints |
| Variable | Twee.Constraints |
| varInModel | Twee.Constraints |
| vars | Twee.Base |
| var_id | Twee.Term, Twee.Base |
| vcat | Twee.Pretty, Twee.Base |
| weakenModel | Twee.Constraints |
| WeaklyOriented | Twee.Rule |
| weaklyOriented | Twee.Rule |
| zeroWidthText | Twee.Pretty, Twee.Base |
| ZigZagMode | Twee.Pretty, Twee.Base |
| ||| | Twee.Constraints |