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.
Synopsis
functor ListMapFn (K : ORD_KEY) :> ORD_MAP where type Key.ord_key = K.ord_key