sig
  type key
  type +'a t
  val empty : 'a Mapext.S.t
  val is_empty : 'a Mapext.S.t -> bool
  val mem : Mapext.S.key -> 'a Mapext.S.t -> bool
  val add : Mapext.S.key -> 'a -> 'a Mapext.S.t -> 'a Mapext.S.t
  val singleton : Mapext.S.key -> 'a -> 'a Mapext.S.t
  val remove : Mapext.S.key -> 'a Mapext.S.t -> 'a Mapext.S.t
  val merge :
    (Mapext.S.key -> 'a option -> 'b option -> 'c option) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> 'c Mapext.S.t
  val compare : ('a -> 'a -> int) -> 'a Mapext.S.t -> 'a Mapext.S.t -> int
  val equal : ('a -> 'a -> bool) -> 'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val iter : (Mapext.S.key -> 'a -> unit) -> 'a Mapext.S.t -> unit
  val fold : (Mapext.S.key -> 'a -> 'b -> 'b) -> 'a Mapext.S.t -> 'b -> 'b
  val for_all : (Mapext.S.key -> 'a -> bool) -> 'a Mapext.S.t -> bool
  val exists : (Mapext.S.key -> 'a -> bool) -> 'a Mapext.S.t -> bool
  val filter : (Mapext.S.key -> 'a -> bool) -> 'a Mapext.S.t -> 'a Mapext.S.t
  val partition :
    (Mapext.S.key -> 'a -> bool) ->
    'a Mapext.S.t -> 'a Mapext.S.t * 'a Mapext.S.t
  val cardinal : 'a Mapext.S.t -> int
  val bindings : 'a Mapext.S.t -> (Mapext.S.key * 'a) list
  val min_binding : 'a Mapext.S.t -> Mapext.S.key * 'a
  val max_binding : 'a Mapext.S.t -> Mapext.S.key * 'a
  val choose : 'a Mapext.S.t -> Mapext.S.key * 'a
  val split :
    Mapext.S.key ->
    'a Mapext.S.t -> 'a Mapext.S.t * 'a option * 'a Mapext.S.t
  val find : Mapext.S.key -> 'a Mapext.S.t -> 'a
  val map : ('a -> 'b) -> 'a Mapext.S.t -> 'b Mapext.S.t
  val mapi : (Mapext.S.key -> 'a -> 'b) -> 'a Mapext.S.t -> 'b Mapext.S.t
  val of_list : (Mapext.S.key * 'a) list -> 'a Mapext.S.t
  val map2 :
    (Mapext.S.key -> 'a -> 'b -> 'c) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> 'c Mapext.S.t
  val iter2 :
    (Mapext.S.key -> 'a -> 'b -> unit) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> unit
  val fold2 :
    (Mapext.S.key -> 'a -> 'b -> 'c -> 'c) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> 'c -> 'c
  val for_all2 :
    (Mapext.S.key -> 'a -> 'b -> bool) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> bool
  val exists2 :
    (Mapext.S.key -> 'a -> 'b -> bool) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> bool
  val map2z :
    (Mapext.S.key -> 'a -> 'a -> 'a) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> 'a Mapext.S.t
  val iter2z :
    (Mapext.S.key -> 'a -> 'a -> unit) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> unit
  val fold2z :
    (Mapext.S.key -> 'a -> 'a -> 'b -> 'b) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> 'b -> 'b
  val for_all2z :
    (Mapext.S.key -> 'a -> 'a -> bool) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val exists2z :
    (Mapext.S.key -> 'a -> 'a -> bool) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val map2o :
    (Mapext.S.key -> 'a -> 'c) ->
    (Mapext.S.key -> 'b -> 'c) ->
    (Mapext.S.key -> 'a -> 'b -> 'c) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> 'c Mapext.S.t
  val iter2o :
    (Mapext.S.key -> 'a -> unit) ->
    (Mapext.S.key -> 'b -> unit) ->
    (Mapext.S.key -> 'a -> 'b -> unit) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> unit
  val fold2o :
    (Mapext.S.key -> 'a -> 'c -> 'c) ->
    (Mapext.S.key -> 'b -> 'c -> 'c) ->
    (Mapext.S.key -> 'a -> 'b -> 'c -> 'c) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> 'c -> 'c
  val for_all2o :
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'b -> bool) ->
    (Mapext.S.key -> 'a -> 'b -> bool) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> bool
  val exists2o :
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'b -> bool) ->
    (Mapext.S.key -> 'a -> 'b -> bool) ->
    'a Mapext.S.t -> 'b Mapext.S.t -> bool
  val map2zo :
    (Mapext.S.key -> 'a -> 'a) ->
    (Mapext.S.key -> 'a -> 'a) ->
    (Mapext.S.key -> 'a -> 'a -> 'a) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> 'a Mapext.S.t
  val iter2zo :
    (Mapext.S.key -> 'a -> unit) ->
    (Mapext.S.key -> 'a -> unit) ->
    (Mapext.S.key -> 'a -> 'a -> unit) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> unit
  val fold2zo :
    (Mapext.S.key -> 'a -> 'b -> 'b) ->
    (Mapext.S.key -> 'a -> 'b -> 'b) ->
    (Mapext.S.key -> 'a -> 'a -> 'b -> 'b) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> 'b -> 'b
  val for_all2zo :
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'a -> 'a -> bool) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val exists2zo :
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'a -> bool) ->
    (Mapext.S.key -> 'a -> 'a -> bool) ->
    'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val map_slice :
    (Mapext.S.key -> 'a -> 'a) ->
    'a Mapext.S.t -> Mapext.S.key -> Mapext.S.key -> 'a Mapext.S.t
  val iter_slice :
    (Mapext.S.key -> 'a -> unit) ->
    'a Mapext.S.t -> Mapext.S.key -> Mapext.S.key -> unit
  val fold_slice :
    (Mapext.S.key -> 'a -> 'b -> 'b) ->
    'a Mapext.S.t -> Mapext.S.key -> Mapext.S.key -> 'b -> 'b
  val for_all_slice :
    (Mapext.S.key -> 'a -> bool) ->
    'a Mapext.S.t -> Mapext.S.key -> Mapext.S.key -> bool
  val exists_slice :
    (Mapext.S.key -> 'a -> bool) ->
    'a Mapext.S.t -> Mapext.S.key -> Mapext.S.key -> bool
  val key_equal : 'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val key_subset : 'a Mapext.S.t -> 'a Mapext.S.t -> bool
  val find_greater : Mapext.S.key -> 'a Mapext.S.t -> Mapext.S.key * 'a
  val find_less : Mapext.S.key -> 'a Mapext.S.t -> Mapext.S.key * 'a
  val find_greater_equal : Mapext.S.key -> 'a Mapext.S.t -> Mapext.S.key * 'a
  val find_less_equal : Mapext.S.key -> 'a Mapext.S.t -> Mapext.S.key * 'a
end