Usage
Signature
,
:
(%,%) Boolean
Parameter | Type | Description |
---|---|---|
a, b | % | elements of the type |
Returns
,
,
,
return true when
is respectively stricly smaller than, stricly greater than, less than or equal to, greater than or equal to
. Observe that if neither
nor
hold, this does not imply that
holds, since a and b may not be comparable, except if the type has TotallyOrderedType.