
lex_lt(+List1, +List2)

   List1 is lexicographically less than  List2

Arguments
   List1               List of integers or domain variables
   List2               List of integers or domain variables

Type
   library(fd_global)

Description
    	Imposes a lexicographic ordering between the two lists. 
	I.e.  either is the first element of List1 strictly smaller
	than the first element of List2, or the first elements are
	equal and the lexicographic order holds between the two list
	tails. A non-existing element (i.e. when the end of list is 
        reached) is strictly smaller than any existing element.


See Also
   ordered / 2, gfd : lex_lt / 2, ic_global : lex_lt / 2, fd_global_gac : lex_lt / 2, ic_global_gac : lex_lt / 2, lex_le / 2
