```rust
/**
* ..
* An order is a total order if it is:
* 
* - total: `a <= b` or `a >= b`;
* - antisymmetric: `a <= b` and `a >= b` implies `a == b`; and
* - transitive: `a <= b` and `b <= c` implies `a <= c`.
*/
```