Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This is more consistent with the definition of the extension order, which is also defined in terms of an existential.
Robbert Krebbers authoredThis is more consistent with the definition of the extension order, which is also defined in terms of an existential.
