-
Robbert Krebbers authored
Much of this is based on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/184#note_31510 by Amin Timany, but made to work for non-affine BIs and changed in a way that it follows the Iris naming conventions.
5b084890
Much of this is based on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/184#note_31510 by Amin Timany, but made to work for non-affine BIs and changed in a way that it follows the Iris naming conventions.