[ library(ic_symbolic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

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

Reified version of X &< Y
X
variable or domain value
Y
variable or domain value
Bool
0, 1, or boolean variable

Modules

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

See Also

&< / 2