The RedBlackMapFn functor

The RedBlackMapFn functor provides a red-black-tree implementation of the ORD_MAP signature parameterized over the key type.

This functor is the preferred implementation of finite maps over ordered keys as it is faster than the other implementations.

Synopsis

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