A class for partially ordered data.
Result of comparingthis with operandthat.
Result of comparingthis with operandthat. ReturnsNone if operands are not comparable. If operands are comparable, returnsSome(x) where -x < 0 iffthis < that -x == 0 iffthis == that -x > 0 iffthis > that