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