Module Mappe.Compare


module Compare: sig .. end

val add : ('a -> 'a -> int) -> 'a -> 'b -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val find : ('a -> 'a -> int) -> 'a -> ('a, 'b) Mappe.t -> 'b
val remove : ('a -> 'a -> int) -> 'a -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val mem : ('a -> 'a -> int) -> 'a -> ('a, 'b) Mappe.t -> bool
val addmap : ('a -> 'a -> int) -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val merge : ('a -> 'a -> int) ->
('b -> 'b -> 'b) -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val mergei : ('a -> 'a -> int) ->
('a -> 'b -> 'b -> 'b) ->
('a, 'b) Mappe.t -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val common : ('a -> 'a -> int) ->
('b -> 'c -> 'd) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> ('a, 'd) Mappe.t
val commoni : ('a -> 'a -> int) ->
('a -> 'b -> 'c -> 'd) ->
('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> ('a, 'd) Mappe.t
val combine : ('a -> 'a -> int) ->
('a -> 'b option -> 'c option -> 'd option) ->
('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> ('a, 'd) Mappe.t
val interset : ('a -> 'a -> int) -> ('a, 'b) Mappe.t -> 'a Sette.t -> ('a, 'b) Mappe.t
val diffset : ('a -> 'a -> int) -> ('a, 'b) Mappe.t -> 'a Sette.t -> ('a, 'b) Mappe.t
val compare : ('a -> 'a -> int) ->
('b -> 'c -> int) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> int
val comparei : ('a -> 'a -> int) ->
('a -> 'b -> 'c -> int) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> int
val equal : ('a -> 'a -> int) ->
('b -> 'c -> bool) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> bool
val equali : ('a -> 'a -> int) ->
('a -> 'b -> 'c -> bool) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> bool
val subset : ('a -> 'a -> int) ->
('b -> 'c -> bool) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> bool
val subseti : ('a -> 'a -> int) ->
('a -> 'b -> 'c -> bool) -> ('a, 'b) Mappe.t -> ('a, 'c) Mappe.t -> bool
val filter : ('a -> 'a -> int) ->
('a -> 'b -> bool) -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t
val partition : ('a -> 'a -> int) ->
('a -> 'b -> bool) -> ('a, 'b) Mappe.t -> ('a, 'b) Mappe.t * ('a, 'b) Mappe.t