sig
val iter_from_func :
(Cil_types.stmt -> unit) -> Cil_types.kernel_function -> unit
val is_rw_zone :
Locations.Zone.t option * Locations.Zone.t option ->
Cil_types.stmt -> Locations.Zone.t option * Locations.Zone.t option
end