sig
  module T : Types
  val shadow_add : ('a, 'b) T.t -> key:'T.key -> data:'-> unit
  val clear : ('a, 'b) T.t -> unit
  val copy : ('a, 'b) T.t -> ('a, 'b) T.t
  val create : int -> ('a, 'b) T.t
  val shadow_find : ('a, 'b) T.t -> 'T.key -> 'b list
  val fold :
    ('a, 'b) T.t -> init:'-> f:(key:'T.key -> data:'-> '-> 'c) -> 'c
  val iter : ('a, 'b) T.t -> f:(key:'T.key -> data:'-> unit) -> unit
  val length : ('a, 'b) T.t -> int
  val mem : ('a, 'b) T.t -> 'T.key -> bool
  val remove : ('a, 'b) T.t -> 'T.key -> unit
  val replace : ('a, 'b) T.t -> key:'T.key -> data:'-> unit
  val map : ('a, 'b) T.t -> f:('-> 'c) -> ('a, 'c) T.t
  val mapi :
    ('a, 'b) T.t -> f:(key:'T.key -> data:'-> 'c) -> ('a, 'c) T.t
  val filter_map : ('a, 'b) T.t -> f:('-> 'c option) -> ('a, 'c) T.t
  val filter_mapi :
    ('a, 'b) T.t -> f:(key:'T.key -> data:'-> 'c option) -> ('a, 'c) T.t
  val remove_all : ('a, 'b) T.t -> 'T.key -> unit
  val find_default : ('a, 'b) T.t -> 'T.key -> default:(unit -> 'b) -> 'b
  val find : ('a, 'b) T.t -> 'T.key -> 'b option
  val find_exn : ('a, 'b) T.t -> 'T.key -> 'b
  val iter_vals : ('a, 'b) T.t -> f:('-> unit) -> unit
  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_shadow : ('T.key * 'b) list -> ('a, 'b list) T.t
  val to_alist : ('a, 'b) T.t -> ('T.key * 'b) list
  val to_alist_shadow : ('a, 'b) T.t -> ('T.key * 'b list) list
  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 keys : ('a, 'b) T.t -> 'T.key list
  val data : ('a, 'b) T.t -> 'b list
  val filter_inplace : ('a, 'b) T.t -> f:('-> bool) -> unit
  val filteri_inplace : ('a, 'b) T.t -> f:('T.key -> '-> bool) -> unit
  val equal : ('a, 'b) T.t -> ('a, 'b) T.t -> ('-> '-> bool) -> bool
  val add_to_groups :
    ('T.key, 'a) T.t ->
    get_key:('-> 'T.key) ->
    get_data:('-> 'a) -> combine:('-> '-> 'a) -> rows:'b list -> unit
  val group :
    ?size:int ->
    get_key:('-> 'T.key) ->
    get_data:('-> 'b) ->
    combine:('-> '-> 'b) -> 'a list -> ('T.key, 'b) T.t
  val create_with_key :
    get_key:('-> 'T.key) -> 'a list -> ('T.key, 'a) T.t
  val create_mapped :
    get_key:('-> 'T.key) ->
    get_data:('-> 'b) -> 'a list -> ('T.key, 'b) T.t
end