Re: [Monotone-devel] Deterministic *-merge

[Florian Weimer]

* Nathaniel J. Smith:

> This is where "key idea 2" comes in again.  Let's define an
> equivalence relation ~, as:
>    for all x and y that are not equal to #, x ~ y iff x = y.
>    for all x, # ~ x is always true.
> Or in words: every normal value is "similar" to itself, plus, # is
> similar to _everything_.

All objects are equivalent if ~ is in fact an equivalence relation.
But I don't think this is a problem.