Module Hcexprs

module Hcexprs: sig .. end
Hash-consed expressions and lvalues.

type unhashconsed_exprs = private 
| E of Cil_types.exp
| LV of Cil_types.lval (*
lvalues are never stored under a constructor E, only LV
*)
module Datatype_UHCE: Datatype.S  with type t = unhashconsed_exprs
type hashconsed_exprs 
Hashconsed hash_consed_exprs
module HCE: sig .. end
Datatype + utilities functions for Hcexprs.hashconsed_exprs.
module HCESet: Hptset.S  with type elt = HCE.t
Hashconsed sets of symbolic expressions.
module HCEToZone: sig .. end
Maps from symbolic expressions to their memory dependencies, expressed as a Locations.Zone.t.
module BaseToHCESet: sig .. end
Maps froms Base.t to set of HCE.t.