splay_tree

A splay tree implementation
IN THIS PACKAGE
Module Splay_tree . Std
module Splay_tree = Splay_tree0