<INTERFACE> The <CD/SplayMapFn/ functor <SEEALSO> <SIGREF/ORD_KEY/ <SIGREF/ORD_MAP/ <FCTREF/BinaryMapFn/ <FCTREF/ListMapFn/ <STRREF TOPID/SplayTree/ <SIGREF/ORD_SET/ </SEEALSO> <PP> The <FCTREF NOLINK/SplayMapFn/ functor implements applicative maps on an ordered type. It is based on Sleator-Tarjan splay trees. <ID/K/<ID>ORD_KEY</ID> <ID>ORD_MAP</ID> <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>