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