Module type Equality_domain.S

module type S = sig .. end

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