Goblint_std.GobHashtbl
module Pretty = GoblintCil.Pretty
val pretty_statistics : unit -> Stdlib.Hashtbl.statistics -> Pretty.doc