The ListMapFn functor

The ListMapFn functor provides a sorted-list implementation of the ORD_MAP signature parameterized over the key type. This implementation is light weight and fast for small domains, but for larger applications, it is recommended that one use the RedBlackMapFn functor instead.


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