Module Splay_tree.Splay_tree0.Make_with_reduction.Partition

type t = {
lt : t;
mid : t;
gt : t;
}