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