module Data:sig
..end
typet =
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