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).
Edited by Paolo G. Giarrusso
This MR adapts to iris!750 (merged), so it doesn't build yet. (I've built it locally with dune).