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

Maxime Dénès requested to merge maximedenes/LambdaRust-coq:fix-export into master Sep 10, 2019

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