SortStrategy
SortStrategy
-- an keyword for an optional argument which specifies the strategy to be used for sorting S-pairs.
resolution(SortStrategy => ...)