Forked from
Iris / Iris
4883 commits behind the upstream repository.
-
Robbert Krebbers authored
In same spirit as the other 'primitive' types like `option`, `prod`, ...
Robbert Krebbers authoredIn same spirit as the other 'primitive' types like `option`, `prod`, ...
ofe.v 49.23 KiB