theories/base.v · 613168bf8af3af0fe31873efd89038a89800792e · Arthur Azevedo de Amorim / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

8 years ago
613168bf
Make arguments for sig and sigT constructors and projections maximally implicit. · 613168bf
Robbert Krebbers authored 8 years ago
```
Some were already maximally implicit, some were not. Now it is consistent.
```
613168bf

History
Make arguments for sig and sigT constructors and projections maximally implicit.
Robbert Krebbers authored 8 years ago
```
Some were already maximally implicit, some were not. Now it is consistent.
```