Index - U
| UAdd | Language.REST.SMT |
| UAnd | Language.REST.SMT |
| UConst | Language.REST.SMT |
| UEqual | Language.REST.SMT |
| UGreater | Language.REST.SMT |
| UGTE | Language.REST.SMT |
| UImplies | Language.REST.SMT |
| unify | Language.REST.Internal.Rewrite |
| unifyAll | Language.REST.Internal.Rewrite |
| Union | Language.REST.WQOConstraints.ADT |
| union | |
| 1 (Function) | Language.REST.ExploredTerms |
| 2 (Function) | Language.REST.OCAlgebra |
| 3 (Function) | Language.REST.Internal.EquivalenceClass |
| 4 (Function) | Language.REST.WQOConstraints |
| 5 (Function) | Language.REST.WQOConstraints.ADT |
| 6 (Function) | Language.REST.WQOConstraints.Lazy |
| 7 (Function) | Language.REST.WQOConstraints.Strict |
| unionAll | Language.REST.WQOConstraints |
| unionDisjointUnsafe | Language.REST.Internal.PartialOrder |
| Unsat | Language.REST.WQOConstraints.ADT |
| unsatisfiable | |
| 1 (Function) | Language.REST.WQOConstraints |
| 2 (Function) | Language.REST.WQOConstraints.ADT |
| 3 (Function) | Language.REST.WQOConstraints.Lazy |
| 4 (Function) | Language.REST.WQOConstraints.Strict |
| UntypedExpr | Language.REST.SMT |
| UOr | Language.REST.SMT |
| UVar | Language.REST.SMT |