extrapolate-0.0.1: generalize counter-examples of test properties (Index - U)

extrapolate-0.0.1: generalize counter-examples of test properties

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
:
$
+
=
>
\
-
All

Index - U

uint1	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
uint2	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
uint3	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
uint4	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unComparison	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unConditionalComparison	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unConditionalEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
und	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unfold	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unfoldApp	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unification	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unify	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unImplication	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unrepeatedVars	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
useful	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
usefulConditionalEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
usefulEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
usefulImplication	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
usefuns	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
uselessEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate