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