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?