module Hcexprs:sig
..end
type
unhashconsed_exprs = private
| |
E of |
|||
| |
LV of |
(* |
lvalues are never stored under a constructor
E , only LV | *) |
module Datatype_UHCE:Datatype.S
with type t = unhashconsed_exprs
type
hashconsed_exprs
hash_consed_exprs
module HCE:sig
..end
Hcexprs.hashconsed_exprs
.
module HCESet:Hptset.S
with type elt = HCE.t
module HCEToZone:sig
..end
Locations.Zone.t
.
module BaseToHCESet:sig
..end
Base.t
to set of HCE.t
.