Module Hcexprs.HCEToZone

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