<INTERFACE> The <CD/ListMapFn/ functor <SEEALSO> <SIGREF/ORD_KEY/ <SIGREF/ORD_MAP/ <FCTREF/BinaryMapFn/ <FCTREF/SplayMapFn/ <SIGREF/ORD_SET/ </SEEALSO> <PP> The <FCTREF NOLINK/ListMapFn/ functor implements applicative maps on an ordered type. It uses a sorted list representation. <ID>K<ID>ORD_KEY</ID> <ID>ORD_MAP <PP> Note that inserting a pair into a map that already contains a pair using the same key (in the sense that both keys are considered equal by the comparison function) causes the current pair to be replaced by the new one. </INTERFACE>