The type must work with < operator and the result should have standard semantics.

The type must work with < operator and the result should have standard semantics.