Draft: Adapt to iris!750: Flip quantifiers for atomic updates
This MR adapts to iris!750 (merged), so it doesn't build yet. (I've built it locally with dune
).
This MR adapts to iris!750 (merged), so it doesn't build yet. (I've built it locally with dune
).