sig
  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
end