other_than: PartPortion ~> PartPortion

Examples

    TODO

Metadata