Added longest_ordered_sequence().

Rev: lib/modules/Array.pmod:1.9

lib/modules/Array.pmod

@@ -3,6 +3,7 @@
 constant diff = __builtin.diff;
 constant diff_longest_sequence = __builtin.diff_longest_sequence;
 constant diff_compare_table = __builtin.diff_compare_table;
+constant longest_ordered_sequence = __builtin.longest_ordered_sequence;
 
 constant sort = __builtin.sort;