sig
  type ('a, 'b) t = { compare : 'a -> 'a -> int; map : ('a, 'b) Mappe.t; }
  val is_empty : ('a, 'b) PMappe.t -> bool
  val empty : ('a -> 'a -> int) -> ('a, 'b) PMappe.t
  val add : 'a -> 'b -> ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t
  val find : 'a -> ('a, 'b) PMappe.t -> 'b
  val remove : 'a -> ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t
  val mem : 'a -> ('a, 'b) PMappe.t -> bool
  val addmap : ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t
  val merge :
    ('a -> 'a -> 'a) ->
    ('b, 'a) PMappe.t -> ('b, 'a) PMappe.t -> ('b, 'a) PMappe.t
  val mergei :
    ('a -> 'b -> 'b -> 'b) ->
    ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t
  val common :
    ('a -> 'b -> 'c) ->
    ('d, 'a) PMappe.t -> ('d, 'b) PMappe.t -> ('d, 'c) PMappe.t
  val commoni :
    ('a -> 'b -> 'c -> 'd) ->
    ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t -> ('a, 'd) PMappe.t
  val combine :
    ('a -> 'b option -> 'c option -> 'd option) ->
    ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t -> ('a, 'd) PMappe.t
  val interset : ('a, 'b) PMappe.t -> 'a PSette.t -> ('a, 'b) PMappe.t
  val diffset : ('a, 'b) PMappe.t -> 'a PSette.t -> ('a, 'b) PMappe.t
  val iter : ('a -> 'b -> unit) -> ('a, 'b) PMappe.t -> unit
  val map : ('a -> 'b) -> ('c, 'a) PMappe.t -> ('c, 'b) PMappe.t
  val mapi : ('a -> 'b -> 'c) -> ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t
  val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) PMappe.t -> 'c -> 'c
  val maptoset : ('a, 'b) PMappe.t -> 'a PSette.t
  val mapofset : ('a -> 'b) -> 'a PSette.t -> ('a, 'b) PMappe.t
  val compare :
    ('a -> 'b -> int) -> ('c, 'a) PMappe.t -> ('c, 'b) PMappe.t -> int
  val comparei :
    ('a -> 'b -> 'c -> int) -> ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t -> int
  val equal :
    ('a -> 'b -> bool) -> ('c, 'a) PMappe.t -> ('c, 'b) PMappe.t -> bool
  val equali :
    ('a -> 'b -> 'c -> bool) ->
    ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t -> bool
  val subset :
    ('a -> 'b -> bool) -> ('c, 'a) PMappe.t -> ('c, 'b) PMappe.t -> bool
  val subseti :
    ('a -> 'b -> 'c -> bool) ->
    ('a, 'b) PMappe.t -> ('a, 'c) PMappe.t -> bool
  val filter : ('a -> 'b -> bool) -> ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t
  val partition :
    ('a -> 'b -> bool) ->
    ('a, 'b) PMappe.t -> ('a, 'b) PMappe.t * ('a, 'b) PMappe.t
  val cardinal : ('a, 'b) PMappe.t -> int
  val bindings : ('a, 'b) PMappe.t -> ('a * 'b) list
  val min_key : ('a, 'b) PMappe.t -> 'a
  val max_key : ('a, 'b) PMappe.t -> 'a
  val choose : ('a, 'b) PMappe.t -> 'a * 'b
  val print :
    ?first:(unit, Format.formatter, unit) Pervasives.format ->
    ?sep:(unit, Format.formatter, unit) Pervasives.format ->
    ?last:(unit, Format.formatter, unit) Pervasives.format ->
    ?firstbind:(unit, Format.formatter, unit) Pervasives.format ->
    ?sepbind:(unit, Format.formatter, unit) Pervasives.format ->
    ?lastbind:(unit, Format.formatter, unit) Pervasives.format ->
    (Format.formatter -> 'a -> unit) ->
    (Format.formatter -> 'b -> unit) ->
    Format.formatter -> ('a, 'b) PMappe.t -> unit
end