at.logic.skeptik.expression.formula
(unaryFormula: StringAdd).self
(unaryFormula: StringFormat).self
(unaryFormula: ArrowAssoc[UnaryFormula]).x
(Since version 2.10.0) Use leftOfArrow
instead
(unaryFormula: Ensuring[UnaryFormula]).x
(Since version 2.10.0) Use resultOfEnsuring
instead