Up
–
splay_tree
»
Splay_tree
»
Splay_tree0
»
S
» Partition
Module
S.Partition
type
nonrec
t
=
{
lt :
t
;
mid :
t
;
gt :
t
;
}