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