translate outcome of the rule application into code (possible involving recursive application of rewriting)
translate outcome of the rule application into code (possible involving recursive application of rewriting)
(mixSequence: StringAdd).self
(mixSequence: StringFormat).self
(mixSequence: ArrowAssoc[MixSequence]).x
(Since version 2.10.0) Use leftOfArrow
instead
(mixSequence: Ensuring[MixSequence]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Handle Sequence patterns (including Star patterns.) Note: pivot == head, just better typed.