Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
That way, we can use Contractive as part of structure definitions in which we do not have a bundled OFE yet.
Robbert Krebbers authoredThat way, we can use Contractive as part of structure definitions in which we do not have a bundled OFE yet.
