
&=<(?X, ?Y, ?Bool)

   Reified version of X &=< Y

Arguments
   X                   variable or domain value
   Y                   variable or domain value
   Bool                0, 1, or boolean variable

Type
   library(ic_symbolic)

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

See Also
   &=< / 2
