Module Splay_tree.Std