Module Metrics_base.VInfoMap

module VInfoMap: sig .. end
Map of varinfos sorted by name (and not by ids)

Local varinfo map where the comparison function is the lexicographic one on their respectives names.


include struct ... end
val to_varinfo_map : 'a t -> 'a Cil_datatype.Varinfo.Map.t