Result of comparing this with operand that.
Result of comparing this with operand that.
Returns None if operands are not comparable.
If operands are comparable, returns Some(x) where
x < 0 iff this < thatx == 0 iff this == thatx > 0 iff this > that
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
A class for partially ordered data.
1.0, 23/04/2004