Module Metrics_base.VInfoMap


module VInfoMap: sig .. end
Common utilities

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