//FHQ
void Split(int rt,int k,int&x,int&y){//x is small y is big
	if(!rt)x=y=0;
	else{
		if(val[rt]<=k)x=rt,Split(ch[rt][1],k,ch[rt][1],y);
		else y=rt,Split(ch[rt][0],k,x,ch[rt][0]);
		Pushup(rt);
	}
}

这段代码是把树分成 小于等于$k$的和大于$k$ 的还是 小于$k$的和大于等于$k$的 呢？

我感觉是前者，那么是不是与这篇题解矛盾了呢？