merge
x
nil
x
merge
nil
y
y
merge
++
x
y
++
u
v
++
x
merge
y
++
u
v
merge
++
x
y
++
u
v
++
u
merge
++
x
y
v
2.2
merge
++
x
y
++
u
v
merge
++
x
y
v
merge
++
x
y
++
u
v
merge
y
++
u
v
true
merge
++
x
y
++
u
v
merge
y
++
u
v
true
merge
2
0
v
0
0
u
0
0
++
2
2
1
merge
2
1
0
nil
0
0
merge
++
x
y
++
u
v
merge
++
x
y
v
false
NaTT
certifiable-1.6