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