Re: [Gnu-arch-users] Deconstructing Star-Merge

[Florian Weimer]

* Jason McCarty:

>> === Patchlogs and Revisions ===
>> 
>> There is a relation of equivalence between Patchlogs and Revisions.
>> 
>> patchlogOf: Revision --> Patchlog
>> revisionOf: PatchLog --> Revision
>> 
>> patchlogOf(R) = L <=> revisionOf(L) = R
>
> I would be careful with wording here, as "relation of equivalence" could
> be confused with "equivalence relation," which this isn't. To prevent
> confusion with your other use of "<=>" I would call this an order-
> preserving bijection, and use "R ~ L" to mean "R = revisionOf(L)"
> (equivalently "L = patchlogOf(R)").

Huh?  I read the line question as "patchlogOf(R) = L holds if and only
if revisionOf(L) = R".