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