goblint.lib
Goblint_lib.GobHashtbl
goblint.sites
goblint_sites_dune
goblint_sites_js
module Pretty = GoblintCil.Pretty
val magic_stats : 'a -> Hashtbl.statistics
val pretty_statistics : unit -> Hashtbl.statistics -> Pretty.doc