Module SlicingSelect.Selections

val iter_selects_internal : ( (Frama_c_kernel.Cil_datatype.Varinfo.Map.key * 'a) -> unit ) -> 'a Frama_c_kernel.Cil_datatype.Varinfo.Map.t -> unit
val 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