Изменения
→next и prev
return T.max; // если такого нет, вернем максимум
else
return merge(high(x)nextHigh, T.children[nextHigh].min); // если есть, вернем минимум найденного поддерева
</pre>
