(twoAuxFormulas: StringAdd).self
(twoAuxFormulas: StringFormat).self
(twoAuxFormulas: ArrowAssoc[TwoAuxFormulas]).x
(Since version 2.10.0) Use leftOfArrow
instead
(twoAuxFormulas: Ensuring[TwoAuxFormulas]).x
(Since version 2.10.0) Use resultOfEnsuring
instead