求前驱后继 笔记

严格小于 / 大于的那种。

前驱：\(\operatorname{val}(\operatorname{rk}(v)-1)\)。

后继：\(\operatorname{val}(\operatorname{rk}(v+1))\)。