Index - U
| UInt1 | Test.Speculate |
| uint1 | Test.Speculate |
| UInt2 | Test.Speculate |
| uint2 | Test.Speculate |
| UInt3 | Test.Speculate |
| uint3 | Test.Speculate |
| UInt4 | Test.Speculate |
| uint4 | Test.Speculate |
| unComparison | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unConditionalComparison | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| und | Test.Speculate |
| unEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unification | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| unify | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| unImplication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unInt1 | Test.Speculate |
| unInt2 | Test.Speculate |
| unInt3 | Test.Speculate |
| unInt4 | Test.Speculate |
| unNat | Test.Speculate |
| unNat1 | Test.Speculate |
| unNat2 | Test.Speculate |
| unNat3 | Test.Speculate |
| unNat4 | Test.Speculate |
| unNat5 | Test.Speculate |
| unNat6 | Test.Speculate |
| unNat7 | Test.Speculate |
| unrepeatedVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unThy | Test.Speculate.CondReason |
| unWord1 | Test.Speculate |
| unWord2 | Test.Speculate |
| unWord3 | Test.Speculate |
| unWord4 | Test.Speculate |
| Update | Test.Speculate.Args |
| updateCEquationsBy | Test.Speculate.CondReason |
| updateEquationsBy | Test.Speculate.Reason |
| updateRulesBy | Test.Speculate.Reason |
| updateSemiEquationsBy | Test.Speculate.SemiReason |
| updateSEquationsBy | Test.Speculate.SemiReason |
| usefulConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| usefulEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| usefulImplication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| uselessEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |