Module Zones.Data

module Data: sig .. end

type t = Locations.Zone.t 
val bottom : Locations.Zone.t
val equal : Locations.Zone.t -> Locations.Zone.t -> bool
val intersects : Locations.Zone.t -> Locations.Zone.t -> bool
val merge : Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t
val diff : Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t
val pretty : Format.formatter -> Locations.Zone.t -> unit
val exp_zone : Cil_types.stmt -> Cil_types.exp -> Locations.Zone.t