Index - U
| 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 |