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