Index - U
| unComparison | Conjure.Engine |
| unConditionalEquation | Conjure.Engine |
| uncons | Conjure.Utils, Conjure.Expr |
| uncurry | Conjure.Utils, Conjure.Expr |
| unEquation | Conjure.Engine |
| unfold | Conjure.Expr, Conjure.Engine |
| unfoldApp | Conjure.Expr, Conjure.Engine |
| unfoldPair | Conjure.Expr, Conjure.Engine |
| unfoldr | Conjure.Utils, Conjure.Expr |
| unfoldTrio | Conjure.Expr, Conjure.Engine |
| unFunTy | Conjure.Engine |
| unification | Conjure.Engine |
| unify | Conjure.Engine |
| union | Conjure.Utils, Conjure.Expr |
| unionBy | Conjure.Utils, Conjure.Expr |
| unit | Conjure.Expr, Conjure.Engine |
| unlines | Conjure.Utils, Conjure.Expr |
| unrepeatedVars | Conjure.Engine |
| unwords | Conjure.Utils, Conjure.Expr |
| unzip | Conjure.Utils, Conjure.Expr |
| unzip3 | Conjure.Utils, Conjure.Expr |
| unzip4 | Conjure.Utils, Conjure.Expr |
| unzip5 | Conjure.Utils, Conjure.Expr |
| unzip6 | Conjure.Utils, Conjure.Expr |
| unzip7 | Conjure.Utils, Conjure.Expr |
| updateEquationsBy | Conjure.Engine |
| updateRulesBy | Conjure.Engine |