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