[top][index]
search for:
SortStrategy -- specify a strategy for sorting S-pairs

SortStrategy -- an keyword for an optional argument which specifies the strategy to be used for sorting S-pairs.

Functions with optional argument named SortStrategy :

  • resolution(..., SortStrategy => ...) -- specify a strategy for sorting S-pairs

    • [top][index]
    search for: