Module Globals_needed.Make
Parameters
module Main : sig ... end
Signature
val functions_used : Frama_c_kernel.Cil_datatype.Varinfo.Set.t
val globals_used : Frama_c_kernel.Cil_datatype.Varinfo.Set.t
val strings_used : Frama_c_kernel.Datatype.String.Set.t