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.