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