Up
—
package
splay_tree
Module
Splay_tree__Splay_tree0.Make_with_reduction.Partition
type
t
=
{
lt :
t
;
mid :
t
;
gt :
t
;
}