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)
(mixEquals: StringAdd).self
(mixEquals: StringFormat).self
(mixEquals: ArrowAssoc[MixEquals]).x
(Since version 2.10.0) Use leftOfArrow
instead
(mixEquals: Ensuring[MixEquals]).x
(Since version 2.10.0) Use resultOfEnsuring
instead