/ Reference of Built-in Symbols /
Testing Expressions / Expression Tests / PatternsOrderedQ /

PatternsOrderedQ

PatternsOrderedQ[$patt1$, $patt2$]: returns True if pattern $patt1$ would be applied before
$patt2$ according to canonical pattern ordering.

- PatternsOrderedQ[x__, x_]
- PatternsOrderedQ[x_, x__]
- PatternsOrderedQ[b, a]

← OrderedQ