functor (HT : BatHashtbl.HashedType->
  sig
    type key = HT.t
    type t
    val create : int -> t
    val clear : t -> unit
    val hashcons : t -> key -> key hobj
    val iter : (key hobj -> unit) -> t -> unit
    val fold : (key hobj -> '-> 'a) -> t -> '-> 'a
    val count : t -> int
  end