Module Hcexprs.HCE

module HCE: sig .. end
Datatype + utilities functions for Hcexprs.hashconsed_exprs.

include Datatype.S_with_collections
val pretty_debug : t Pretty_utils.formatter
val id : t -> int
val of_lval : Cil_types.lval -> t
val of_exp : Cil_types.exp -> t
val to_exp : t -> Cil_types.exp
val get : t -> Hcexprs.unhashconsed_exprs
val self : State.t