Functor Equality_domain.Make

module Make: 
functor (Value : Abstract_value.External) -> S  with type value = Value.t
       and type location = Precise_locs.precise_location

include Abstract_domain.Internal

val key : t Abstract_domain.key

val pretty_debug : Format.formatter -> t -> unit

type equalities 

val project : t -> equalities