Frama-C API - Selections
val iter_selects_internal : ((Frama_c_kernel.Cil_datatype.Varinfo.Map.key * 'a) -> unit) -> 'a Frama_c_kernel.Cil_datatype.Varinfo.Map.t -> unitval fold_selects_internal : ('a -> (Frama_c_kernel.Cil_datatype.Varinfo.Map.key * 'b) -> 'a) -> 'a -> 'b Frama_c_kernel.Cil_datatype.Varinfo.Map.t -> 'a