module VInfoMap: sig .. end
sig
end
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
'a t -> 'a Cil_datatype.Varinfo.Map.t