module Globs: sig
.. end
val debug : ('a, Format.formatter, unit) Pervasives.format -> 'a
val used_variables : (Cil_types.varinfo, unit) Hashtbl.t
val var_init : (Cil_types.varinfo, Cil_types.init) Hashtbl.t
val used_typeinfo : (string, unit) Hashtbl.t
val used_compinfo : (string, unit) Hashtbl.t
val used_enuminfo : (string, unit) Hashtbl.t
val clear_tables : unit -> unit
class collect_visitor :
object
.. end
class filter_visitor : Project.t ->
object
.. end
module Result: Computation.Hashtbl
(
Datatype.String
)
(
Datatype.Project
)
(
sig
end
)
val rm_unused_decl : Result.key -> Result.data