Sort

A type has a default sort order when its module provides order_relative_to : item, item -> [Before, Same, After]. These tags say which argument comes first; they deliberately do not tie sorting to "less than" or to the < and > operators.