The SplayMapFn functor

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.


functor SplayMapFn (K : ORD_KEY) :> ORD_MAP where type Key.ord_key = K.ord_key