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 |