List_ext.lex_compare