functor (X : HASHABLE) ->
  sig
    type key = X.t
    type 'a t
    val create : int -> 'a t
    val mem : 'a t -> key -> bool
    val find : 'a t -> key -> 'a option
    val find_exn : 'a t -> key -> 'a
    val get : key -> 'a t -> 'a option
    val get_exn : key -> 'a t -> 'a
    val add : 'a t -> key -> 'a -> unit
    val remove : 'a t -> key -> unit
    val size : 'a t -> int
    val of_list : (key * 'a) list -> 'a t
    val to_list : 'a t -> (key * 'a) list
    val of_seq : (key * 'a) sequence -> 'a t
    val to_seq : 'a t -> (key * 'a) sequence
    val keys : 'a t -> key sequence
    val values : 'a t -> 'a sequence
  end