val ordered_lists : 'a list * 'a list -> bool