base_logic/lib/boxes.v · 7e6a432ff331b37b7107f4eecccbc6f6b511b70f · Pierre Roux / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
7e6a432f
No longer make slice_name type classes opaque. · 7e6a432f
Robbert Krebbers authored 8 years ago
```
We need instances like EqDecision and Countable for it. We could
redeclare those instead, though.
```
7e6a432f

History
No longer make slice_name type classes opaque.
Robbert Krebbers authored 8 years ago
```
We need instances like EqDecision and Countable for it. We could
redeclare those instead, though.
```