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
)
January 31, 2002
