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 map_cardinal : 'a t -> int
Cardinal of a VInfoMap
val to_varinfo_map : 'a t -> 'a Cil_datatype.Varinfo.Map.t