Index - U
| uint1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| unand | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| und | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| unEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfold | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldPair | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldTrio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unification | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unify | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unrepeatedVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |