Assert x < y.
x < y
The ostensibly smaller value.
The ostensibly larger value.
Optional error message if the assertion does not hold.
Assert
x < y.