Skip to content

lifetime logic: use agree instead of dec_agree

Ralf Jung requested to merge no-dec-agree into master

If you are happy with this, we can merge this and https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/22

Cc @robbertkrebbers @jjourdan

Merge request reports