Goblint_std.GobHashtbl
module Pretty = GoblintCil.Pretty
val pretty_statistics : unit -> Stdlib.Hashtbl.statistics -> Pretty.doc
module Make (H : Stdlib.Hashtbl.HashedType) : sig ... end