<=
x <= y
-- yields
true
or
false
depending on whether x <= y.
Calls upon
?
to perform the comparison, if necessary.
