$<$,$>$

Usage

$a < b$
$a > b$
$a \le b$
$a \ge b$

Signature

$<$,$>$:

(%,%) $\to$ Boolean

Parameter	Type	Description
a, b	%	elements of the type

Returns

$a < b$, $a > b$, $a \le b$, $a \ge b$ return true when $a$ is respectively stricly smaller than, stricly greater than, less than or equal to, greater than or equal to $b$. Observe that if neither $a > b$ nor $a = b$ hold, this does not imply that $a < b$ holds, since a and b may not be comparable, except if the type has TotallyOrderedType.