如何使FHQ-Treap既能实现像P3369中可以得出 $[l, r]$ 区间的第 $k$ 大值，也能像P3391那样可以将 $[l, r]$ 翻转？

还是必须要使用树套树？