Module Splay_tree__Std

module Splay_tree = Splay_tree.Splay_tree0