[ library(ic) | Reference Manual | Alphabetic Index ]

ic:(?ExprX =< ?ExprY)

ExprX is less than or equal to ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX to be less than or equal to ExprY. Alternate form of ExprX $=< ExprY.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

< / 2, >= / 2, > / 2, =\= / 2, =:= / 2, $=< / 2, #=< / 2, =< / 2, iso_light : =< / 2, suspend : =< / 2, iso_strict : =< / 2