SPLAY_TREE
signature
signature SPLAY_TREE
datatype 'a splay
= SplayObj of {value : 'a, right : 'a splay, left : 'a splay}
| SplayNil
val splay : (('a -> order) * 'a splay) -> (order * 'a splay)
val join : ('a splay * 'a splay) -> 'a splay
datatype 'a splay
splay (f, sp)
join (sp, sp2)
Last Modified May 29, 1996
Copyright © 1996 AT&T Research