Forked from
Iris / Iris
Source project has a limited visibility.
-
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`, ...
