Splay_tree
module Splay_tree0 : sig ... end
module Splay_tree0_intf : sig ... end
module Std : sig ... end