atoti.order

The order in which elements are sorted.

Deprecated since version 6.2.1: Use atoti.Ordering instead.

Members

Name	Summary
~~`CustomOrder`~~	Custom order.
~~`LexicographicalOrder`~~	Lexicographical order.
~~`NaturalOrder`~~	Natural order.