[binary heap] provide partition def for splay tree