Expand description
Result of Analysis::merge
indicating which of the inputs
are different from the merged result.
The fields correspond to whether the initial a
and b
inputs to Analysis::merge
were different from the final merged value.
In both cases the result may be conservative – they may indicate true
even
when there is no difference between the input and the result.
DidMerge
s can be “or“ed together using the |
operator.
This can be useful for composing analyses.
Tuple Fields§
§0: bool
§1: bool