Avoid relying on `Export` bugs (!14) · Merge Requests · Iris / lambda-rust · GitLab

Avoid relying on `Export` bugs

See https://github.com/coq/coq/issues/10480 and https://github.com/coq/coq/issues/10474.