Interface for module Rbtrees2
Simplified form of red-black trees. The conditions
are a bit simplified.
open Basic
module RBFun: functor(Key: ORDERED) ® functor(Elem:TYPE) ®
(DICT with type key = Key.t and type elem = Elem.t)
Pages last (re-)generated October 28, 2002 (Martin Steffen)