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