Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
There is no way to infer the cmra A, so we make it explicit.
Robbert Krebbers authoredThere is no way to infer the cmra A, so we make it explicit.
