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