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