On Sunday, 27 July 2014 at 19:04:09 UTC, Fool wrote:
If a candidate for opCmp does not match the default equivalence relation == (defined implicitly or explicitly specified using opEquals) it should not be defined at all.
Does this mean that you agree that opCmp should define a total order?