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