Index - U
| uhd | Twee.Term, 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 |
| unifyMany | Twee.Term, Twee.Base |
| unifyTri | Twee.Term, Twee.Base |
| unifyTriFrom | Twee.Term, Twee.Base |
| unMax | Twee.CP |
| 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 |
| urest | 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 |
| utl | Twee.Term, Twee.Base |