blob: 30cf52a88b4d684e65311e7477ef8c86bf048a35 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
signature TREE = sig
type ('k, 'v) t
val empty: ('k, 'v) t
type 'k cmp = 'k -> 'k -> order
val insert: 'k cmp -> ('k, 'v) t -> 'k -> 'v -> 'v option * ('k, 'v) t
val delete: 'k cmp -> ('k, 'v) t -> 'k -> 'v option * ('k, 'v) t
val lookup: 'k cmp -> ('k, 'v) t -> 'k -> 'v option
val lookup2: 'k cmp -> ('k, 'v) t -> 'k ->
('v option -> 'a * 'v option) -> 'a * ('k, 'v) t
val print: ('k, 'v) t -> ('k -> string) -> ('v -> string) -> unit
val traverse: ('k, 'v) t -> ('k -> 'v -> 'a -> 'a) -> 'a -> 'a
val changeV: ('k, 'v) t -> ('v -> 'v) -> ('k, 'v) t
val size: ('k, 'v) t -> int
end
|
