at.logic.skeptik.algorithm.compressor.combinedRPILU
(lowerUnivalentsAfterRecyclePivotsWithOpt: (Proof[SequentProofNode], Guard[SequentProofNode]) ⇒ Proof[SequentProofNode]).apply(v1, v2)
(lowerUnivalentsAfterRecyclePivotsWithOpt: (Proof[SequentProofNode]) ⇒ Proof[SequentProofNode]).apply(v1)
(lowerUnivalentsAfterRecyclePivotsWithOpt: StringAdd).self
(lowerUnivalentsAfterRecyclePivotsWithOpt: StringFormat).self
(lowerUnivalentsAfterRecyclePivotsWithOpt: (Proof[SequentProofNode], Guard[SequentProofNode]) ⇒ Proof[SequentProofNode]).toString()
(lowerUnivalentsAfterRecyclePivotsWithOpt: (Proof[SequentProofNode]) ⇒ Proof[SequentProofNode]).toString()
(lowerUnivalentsAfterRecyclePivotsWithOpt: ArrowAssoc[LowerUnivalentsAfterRecyclePivotsWithOpt]).x
(Since version 2.10.0) Use leftOfArrow
instead
(lowerUnivalentsAfterRecyclePivotsWithOpt: Ensuring[LowerUnivalentsAfterRecyclePivotsWithOpt]).x
(Since version 2.10.0) Use resultOfEnsuring
instead