sig
  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
end