Extensionreduces a list of patterns to a single one using an operator
Part of MathLib, a diverse library of mathematical functions.
| selectorPattern |
a pattern of symbols (binary operators) or functions of two arguments |
| ... patterns |
a pattern of objects responding to the selector. |