6 Operator Orders🔗ℹ

An operator order declares precedence relationships to other operator orders or a default order. An operator defined with a form such as operator or macro can select an operator order using ~order, and then precedence specifications else using the operator order’s name apply to the newly declared operator. The operator also inherits precedence declarations and an associativity declared in its operator order, but an operator declaration can override those.

An operator order is not specific to a space, and operators bound in multple spaces (such as via bind.macro or annot.macro) can use the same set of operator orders.

A compile-time value that identifies the same space as operator_order. See also SpaceMeta.