theories/base_logic/lib/na_invariants.v · 3627c45fd81275ae6c97f87cdceb58074c606cc3 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

6 years ago
3627c45f
New IntoAcc typeclass to decouple creating and elliminating accessors; ElimInv... · 3627c45f
Ralf Jung authored 6 years ago
```
New IntoAcc typeclass to decouple creating and elliminating accessors; ElimInv supports both with and without Hclose
```
3627c45f

History
New IntoAcc typeclass to decouple creating and elliminating accessors; ElimInv...
Ralf Jung authored 6 years ago
```
New IntoAcc typeclass to decouple creating and elliminating accessors; ElimInv supports both with and without Hclose
```