Functor Equality_domain.Make

module Make: functor (Atom : Equality_term.Atom) -> functor (Equality : Equality_sig.S_with_collections  with type elt = Atom.t) -> 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:

`Atom`	:	`Equality_term.Atom`
`Equality`	:	`Equality_sig.S_with_collections with type elt = Atom.t`
`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