module HCEToZone:sig
..end
Maps from symbolic expressions to their memory dependencies, expressed as a
Locations.Zone.t
.
include Hptmap_sig.S
val is_included : t -> t -> bool
val union : t -> t -> t
val inter : t -> t -> t
val merge : into:t -> t -> t