SML/NJ Library Manual

The ORD_KEY signature


signature ORD_KEY

The ORD_KEY signature provides an abstract description of ordered keys. It specifies a type plus a trivalent comparison function.


type ord_key
val compare : (ord_key * ord_key) -> order


type ord_key

compare (key, key')
returns LESS, EQUAL, or GREATER if and only if key is less than, equal to, or greater than key', respectively, in some defined linear ordering.

See Also

ORD_MAP, ORD_SET, BinarySetFn, BinaryMapFn, SplaySetFn, SplayMapFn, ListSetFn, ListMapFn

[ Top | Parent | Contents | Index | Root ]

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