bounded_order): Generalized `preorder` to `has_lt` (#10695)

Commit

4 years ago

feat(order/basic, order/bounded_order): Generalized `preorder` to `has_lt` (#10695) This is a continuation of #10664.

Author

vihdzp

Parents