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