splay_tree

A splay tree implementation
IN THIS PACKAGE
Module Splay_tree
module Splay_tree0 : sig ... end
module Splay_tree0_intf : sig ... end
module Std : sig ... end