Module Scope.Zones

module Zones: sig .. end

type t_zones = Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t 
val build_zones : Cil_types.kernel_function ->
Cil_types.stmt ->
Cil_types.lval -> Cil_datatype.Stmt.Hptset.t * t_zones
val pretty_zones : Stdlib.Format.formatter -> t_zones -> unit
val get_zones : t_zones -> Cil_types.stmt -> Locations.Zone.t