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