Standard.BaseDataOrderingand_thenOn this pageOrdering.and_then and_thenother Documentation A lexicographical comparison.