sig
  val empty : ('a, 'b) T.t
  val singleton : 'T.key -> '-> ('a, 'b) T.t
  val is_empty : ('a, 'b) T.t -> bool
  val cardinal : ('a, 'b) T.t -> int
  val add : key:'T.key -> data:'-> ('a, 'b) T.t -> ('a, 'b) T.t
  val add_multi :
    key:'T.key -> data:'-> ('a, 'b list) T.t -> ('a, 'b list) T.t
  val change :
    ('a, 'b) T.t -> 'T.key -> ('b option -> 'b option) -> ('a, 'b) T.t
  val find_exn : ('a, 'b) T.t -> 'T.key -> 'b
  val find : ('a, 'b) T.t -> 'T.key -> 'b option
  val remove : ('a, 'b) T.t -> 'T.key -> ('a, 'b) T.t
  val mem : ('a, 'b) T.t -> 'T.key -> bool
  val iter : f:(key:'T.key -> data:'-> unit) -> ('a, 'b) T.t -> unit
  val map : f:('-> 'b) -> ('c, 'a) T.t -> ('c, 'b) T.t
  val mapi :
    f:(key:'T.key -> data:'-> 'c) -> ('a, 'b) T.t -> ('a, 'c) T.t
  val fold :
    f:(key:'T.key -> data:'-> '-> 'c) -> ('a, 'b) T.t -> init:'-> 'c
  val fold_right :
    f:(key:'T.key -> data:'-> '-> 'c) -> ('a, 'b) T.t -> init:'-> 'c
  val filter :
    f:(key:'T.key -> data:'-> bool) -> ('a, 'b) T.t -> ('a, 'b) T.t
  val filter_map : f:('-> 'b option) -> ('c, 'a) T.t -> ('c, 'b) T.t
  val filter_mapi :
    f:(key:'T.key -> data:'-> 'c option) -> ('a, 'b) T.t -> ('a, 'c) T.t
  val compare : ('-> '-> int) -> ('b, 'a) T.t -> ('b, 'a) T.t -> int
  val equal : ('-> '-> bool) -> ('b, 'a) T.t -> ('b, 'a) T.t -> bool
  val keys : ('a, 'b) T.t -> 'T.key list
  val has_key : ('a, 'b) T.t -> 'T.key -> bool
  val data : ('a, 'b) T.t -> 'b list
  val of_alist :
    ('T.key * 'b) list ->
    [ `Duplicate_key of 'T.key | `Ok of ('a, 'b) T.t ]
  val of_alist_exn : ('T.key * 'b) list -> ('a, 'b) T.t
  val of_alist_multi : ('T.key * 'b) list -> ('a, 'b list) T.t
  val to_alist : ('a, 'b) T.t -> ('T.key * 'b) list
  val combine_alist :
    ('T.key * 'b) list -> init:'-> f:('-> '-> 'c) -> ('a, 'c) T.t
  val merge :
    f:(key:'T.key -> 'b option -> 'c option -> 'd option) ->
    ('a, 'b) T.t -> ('a, 'c) T.t -> ('a, 'd) T.t
  val min_elt : ('a, 'b) T.t -> ('T.key * 'b) option
  val min_elt_exn : ('a, 'b) T.t -> 'T.key * 'b
  val max_elt : ('a, 'b) T.t -> ('T.key * 'b) option
  val max_elt_exn : ('a, 'b) T.t -> 'T.key * 'b
  val for_all : f:('-> bool) -> ('b, 'a) T.t -> bool
  val exists : f:('-> bool) -> ('b, 'a) T.t -> bool
  val fold_range_inclusive :
    ('a, 'b) T.t ->
    min:'T.key ->
    max:'T.key -> init:'-> f:(key:'T.key -> data:'-> '-> 'c) -> 'c
  val range_to_alist :
    ('a, 'b) T.t -> min:'T.key -> max:'T.key -> ('T.key * 'b) list
  val prev_key : ('a, 'b) T.t -> 'T.key -> 'T.key option
  val next_key : ('a, 'b) T.t -> 'T.key -> 'T.key option
  val rank : ('a, 'b) T.t -> 'T.key -> int option
end