Frama-C API - Zones
val pretty_zones : Stdlib.Format.formatter -> t_zones -> unitval get_zones : t_zones -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Locations.Zone.t
Frama-C Frama-C Zonesval pretty_zones : Stdlib.Format.formatter -> t_zones -> unitval get_zones : t_zones -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Locations.Zone.t