Module Splay_tree.Std

module Splay_tree = Splay_tree0