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
  end