Merges a1
and a2
into a common source, providing access
through that common source to X and Y.
Merges a1
and a2
into a common source, providing access
through that common source to X and Y.
In general, if a1
and a2
are equal, we cannot simply return
SrcMerge(a1, fm1, fm2)
because the Hole
in fm1
and fm2
reference
some unknown source and do not reference a1
. In this case, our source
merging has converged (at least for this iteration), but fm1
and fm2
still
reference the old common source (which is not known to us here).
provides access to some unknown target X.
provides access to some unknown target Y.
the left source to be merged
the right source to be merged