Functor Equality_domain.MakeInternal

module MakeInternal: 
functor (Equality : Equality_sig.S_with_collections with type elt = Hcexprs.hashconsed_exprs) ->
functor (Value : Abstract_value.External) -> S with type value = Value.t and type location = Precise_locs.precise_location and type equalities := Equality.Set.t
Parameters:
Equality : Equality_sig.S_with_collections with type elt = Hcexprs.hashconsed_exprs
Value : Abstract_value.External

include Abstract_domain.Internal
val key : t Abstract_domain.key
val pretty_debug : Format.formatter -> t -> unit
type equalities 
val project : t -> equalities