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)
(Since version 2.10.0) Use leftOfArrow instead
(Since version 2.10.0) Use resultOfEnsuring instead
Handle Sequence patterns (including Star patterns.) Note: pivot == head, just better typed.