Interface for module Rbtrees
exception Not_Found
type color = Red | Black
type entry = int
type key = int
type (a ,b) rbtree =
Leaf of color
| Node of (a,b) rbtree × (a ×b × color) × (a,b) rbtree
'a = key, 'b is the data
val insert: (a, b) rbtree ® (a × b) ® (a, b) rbtree
val delete: (a, b) rbtree ® a ® (a, b) rbtree
val search: (a, b) rbtree ® a ® b
Pages last (re-)generated October 28, 2002 (Martin Steffen)