The SML/NJ Library Reference Manual


The SPLAY_TREE signature


Synopsis

signature SPLAY_TREE

Interface

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

Description

datatype 'a splay

splay (f, sp)
explain the use and semantics of splay HERE.

join (sp, sp2)
explain the use and semantics of join HERE.



[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research