The SplayMapFn functor
Author: John Reppy
Keywords: Standard ML, SML, SML/NJ Library

The SML of NJ Library
The `SplayMapFn` functor

The `SplayMapFn` functor provides a splay-tree implementation of the `ORD_MAP` signature parameterized over the key type.

It is recommended, however, that one use the `RedBlackMapFn` functor instead of `SplayMapFn`, since experimentation has shown it to be faster across the board.

## Synopsis

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

## See Also

`ORD_KEY`, `ORD_MAP`, `RedBlackMapFn`, The Util Library

SML/NJ Version 110.99.9 (November 4, 2025)
Last updated 2025-11-04 15:48:25 UTC