heap_lang/lib/par.v · 81c0aaee8a99878d81501cfe3f780146fe2ae1e6 · George Pirlea / Iris · GitLab

Find file Blame History Permalink

Make of_val reduce by simpl. · 81c0aaee
Robbert Krebbers authored May 10, 2016
```
And make constants P for which we do not want of_val P to reduce Opaque.
```
81c0aaee