Module Equality_domain

module Equality_domain: sig .. end

module type S = sig .. end
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