at.logic.skeptik.algorithm.compressor.AbstractRPILUAlgorithm
(edgesToDelete: StringAdd).self
(edgesToDelete: StringFormat).self
(edgesToDelete: ArrowAssoc[EdgesToDelete]).x
(Since version 2.10.0) Use leftOfArrow
instead
(edgesToDelete: Ensuring[EdgesToDelete]).x
(Since version 2.10.0) Use resultOfEnsuring
instead