module VInfoMap:Common utilitiessig
..end
Local varinfo map where the comparison function is the lexicographic one on
their respectives names.
include struct ... end
val map_cardinal : 'a t -> int
val to_varinfo_map : 'a t -> 'a Cil_datatype.Varinfo.Map.t