Functor Equality_domain.Make

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

include Abstract_domain.Leaf
val pretty_debug : Stdlib.Format.formatter -> Equality_domain.t -> unit