Functor Equality_domain.Make

module Make: 
functor (Value : Abstract_value.External-> sig .. end
Parameters:
Value : Abstract_value.External

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