Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
For iApply and iRewrite we want that, but for iDestruct and iMod we do not. This fixes issue #52.
Robbert Krebbers authoredFor iApply and iRewrite we want that, but for iDestruct and iMod we do not. This fixes issue #52.