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: |
|
include Abstract_domain.Internal
val key : t Abstract_domain.key
val pretty_debug : Format.formatter -> t -> unit
type
equalities
val project : t -> equalities