The SplayMapFn functor provides a splay-tree implementation of the
ORD_MAP signature parameterized over the key type.
It is recommended, however, that one use the RedBlackMapFn
functor instead of SplayMapFn, since experimentation has shown it to be
faster across the board.
Synopsis
functor SplayMapFn (K : ORD_KEY) :> ORD_MAP where type Key.ord_key = K.ord_key