sig
  type ('a, 'b) t
  val create : int -> ('a, 'b) Data.Hashtbl.t
  val get : ('a, 'b) Data.Hashtbl.t -> ('a, 'b) Hashtbl.t
  val add : ('a, 'b) Data.Hashtbl.t -> 'a -> 'b -> unit
  val find : ('a, 'b) Data.Hashtbl.t -> 'a -> 'b
  val mem : ('a, 'b) Data.Hashtbl.t -> 'a -> bool
  val remove : ('a, 'b) Data.Hashtbl.t -> 'a -> unit
  val replace : ('a, 'b) Data.Hashtbl.t -> 'a -> 'b -> unit
  val iter : ('a -> 'b -> unit) -> ('a, 'b) Data.Hashtbl.t -> unit
  val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) Data.Hashtbl.t -> 'c -> 'c
end