Less
Less(x, y)
x < yyields
Trueifxis known to be less thany.
lhs < rhsrepresents the inequality
lhs < rhs.
Examples
>> 3<4True
>> {Less(), Less(x), Less(1)}{True, True, True}Implementation status
- ✅ - full supported
Less(x, y)
x < yyields
Trueifxis known to be less thany.
lhs < rhsrepresents the inequality
lhs < rhs.
>> 3<4True
>> {Less(), Less(x), Less(1)}{True, True, True}