bounded): Invert iff direction (#11582)

Commit

3 years ago

refactor(src/order/bounded): Invert iff direction (#11582) That way, `unbounded_gt_iff_unbounded_ge` corresponds to `unbounded_lt_iff_unbounded_le`.

Author

vihdzp

Parents