
lex_chain(+Lists)

   

Type
   library(clpfd)

See Also
   ic_global : lex_le / 2
