sig
  type in_value = int
  type out_value = int
  type 'key t = private ('key, out_value) Core.Std.Map.Poly.t
  type 'a _in_value = in_value
  type 'a _out_value = out_value
  type ('a, 'b) _t = 'a t
  val empty : 'a t
  val singleton : 'a -> in_value -> 'a t
  val is_empty : 'a t -> bool
  val length : 'a t -> int
  val add : key:'a -> data:in_value -> 'a t -> 'a t
  val find : 'a t -> 'a -> out_value
  val remove : 'a t -> 'a -> 'a t
  val set : key:'a -> data:out_value -> 'a t -> 'a t
  val mem : 'a t -> 'a -> bool
  val iter : 'a t -> f:(key:'a -> data:out_value -> unit) -> unit
  val fold :
    'a t -> init:'b -> f:(key:'a -> data:out_value -> 'b -> 'b) -> 'b
  val filter : 'a t -> f:(key:'a -> data:out_value -> bool) -> 'a t
  val keys : 'a t -> 'a list
  val data : 'a t -> out_value list
  val to_alist : 'a t -> ('a * out_value) list
  val of_list : ('a * in_value) list -> 'a t
  val for_all : 'a t -> f:(out_value -> bool) -> bool
  val exists : 'a t -> f:(out_value -> bool) -> bool
  val to_map : 'a t -> ('a, out_value) Core.Std.Map.Poly.t
  val of_map : ('a, out_value) Core.Std.Map.Poly.t -> 'a t
  val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
  val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end