Library splay_tree

The entry point for this library is module Splay_tree.