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

extrapolate-0.2.3: 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
unConditionalComparison	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unConditionalEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
und	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
unEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unfold	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unfoldApp	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unfoldTuple	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unification	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unify	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unImplication	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
unrepeatedVars	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
usefulConditionalEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
usefulEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
usefulImplication	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
uselessEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic