Module Globs

module Globs: sig .. end

val dkey : Log.category
val debug : ('a, Format.formatter, unit) Pervasives.format -> 'a
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: State_builder.Hashtbl(Datatype.String.Hashtbl)(Project.Datatype)(sig
val name : string
val size : int
val dependencies : State.t list
end)
val rm_unused_decl : Result.key -> Result.data