Index - U
| U16 | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| U8 | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| 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 |
| unifyManyTri | Twee.Term, Twee.Base |
| unifyTri | Twee.Term, Twee.Base |
| unifyTriFrom | Twee.Term, Twee.Base |
| unorient | Twee.Rule |
| Unoriented | Twee.Rule |
| unpack | Twee.Term, Twee.Base |
| UnsafeCons | Twee.Term, Twee.Base |
| UnsafeConsSym | Twee.Term, Twee.Base |
| unsafeExtendList | Twee.Term, Twee.Base |
| unsafeMkLabel | Data.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 |