functor (H : HashedType) ->
  sig
    type t = H.t
    val hashcons : t -> t
    val iter : (t -> unit) -> unit
    val stats : unit -> int * int * int * int * int * int
  end