Commit 2021-05-14 04:49 bf2750e5
View on Github →chore(order/atoms): ask for the correct instances (#7582) replace bounded_lattice by order_bot/order_top where it can
chore(order/atoms): ask for the correct instances (#7582) replace bounded_lattice by order_bot/order_top where it can