viewcvs.cgi/types/sortedMap.mli

type ('a,'b) t = ('a * 'b) list
val union: ('b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
val unioni: ('a -> 'b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
val union_disj: ('a,'b) t -> ('a,'b) t -> ('a,'b) t

val combine: ('b -> 'd) -> ('c -> 'd) -> ('b -> 'c -> 'd) -> 
  ('a,'b) t -> ('a,'c) t -> ('a,'d) t

val map: ('b -> 'c) -> ('a,'b) t -> ('a,'c) t

val add: ('b -> 'b -> 'b) -> 'a -> 'b -> ('a,'b) t -> ('a,'b) t
val change: 'a -> ('b -> 'b) -> 'b -> ('a,'b) t -> ('a,'b) t

val change_exists: 'a -> ('b -> 'b) -> ('a,'b) t -> ('a,'b) t

val diff: ('a,'b) t -> 'a SortedList.t -> ('a,'b) t

val iter: ('a -> 'b -> unit) -> ('a,'b) t -> unit

val iter2: 
  ('a -> 'b -> 'c -> unit) -> ('a -> 'b -> unit) -> ('a -> 'c -> unit)
    -> ('a,'b) t -> ('a,'c) t -> unit


val from_sorted_list : ('b -> 'b -> 'b) -> ('a * 'b) SortedList.t -> ('a,'b) t
val from_list: ('b -> 'b -> 'b) -> ('a * 'b) list -> ('a,'b) t
1	type ('a,'b) t = ('a * 'b) list
2	val union: ('b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
3	val unioni: ('a -> 'b -> 'b -> 'b) -> ('a,'b) t -> ('a,'b) t -> ('a,'b) t
4	val union_disj: ('a,'b) t -> ('a,'b) t -> ('a,'b) t
5
6	val combine: ('b -> 'd) -> ('c -> 'd) -> ('b -> 'c -> 'd) ->
7	('a,'b) t -> ('a,'c) t -> ('a,'d) t
8
9	val map: ('b -> 'c) -> ('a,'b) t -> ('a,'c) t
10
11	val add: ('b -> 'b -> 'b) -> 'a -> 'b -> ('a,'b) t -> ('a,'b) t
12	val change: 'a -> ('b -> 'b) -> 'b -> ('a,'b) t -> ('a,'b) t
13
14	val change_exists: 'a -> ('b -> 'b) -> ('a,'b) t -> ('a,'b) t
15
16	val diff: ('a,'b) t -> 'a SortedList.t -> ('a,'b) t
17
18	val iter: ('a -> 'b -> unit) -> ('a,'b) t -> unit
19
20	val iter2:
21	('a -> 'b -> 'c -> unit) -> ('a -> 'b -> unit) -> ('a -> 'c -> unit)
22	-> ('a,'b) t -> ('a,'c) t -> unit
23
24
25	val from_sorted_list : ('b -> 'b -> 'b) -> ('a * 'b) SortedList.t -> ('a,'b) t
26	val from_list: ('b -> 'b -> 'b) -> ('a * 'b) list -> ('a,'b) t