Re: WAT: opCmp and opEquals woes

[via Digitalmars-d]

On Sunday, 27 July 2014 at 13:06:23 UTC, Ola Fosheim Grøstad 
wrote:
* Total Preorder:

x ≲ b or b ≲ a (totality).
if a ≲ b and b ≲ c then a ≲ c (transitivity).

x ≲ b (reflexivity; implied by transitivity and totality)

Correction:

* Total Preorder:

a ≲ b or b ≲ a (totality).

if a ≲ b and b ≲ c then a ≲ c (transitivity).

a ≲ a (reflexivity; implied by transitivity and totality)