SML/NJ Library Manual

The SplaySetFn functor

Synopsis

functor SplaySetFn (ORD_KEY) : ORD_SET

The SplaySetFn functor implements applicative sets on an ordered type. It is based on Sleator-Tarjan splay trees.

See Also

ORD_KEY, ORD_SET, BinarySetFn, ListSetFn, SplayTree, ORD_MAP

Discussion

Note that adding an element to a set that already contains such an element (in the sense that both elements are considered equal by the comparison function) causes the current element to be replaced by the new one.

[ Top | Parent | Contents | Index | Root ]

Last Modified June 10, 1998
Comments to John Reppy
Copyright © 1998 Bell Labs, Lucent Technologies