let
node
prefix i = o
where
rec
x = buffer y
and
y =
merge
1(0) 1 o
and
o = buffer x