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