Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This enables us to remove a whole bunch of type annotations.
Robbert Krebbers authoredThis enables us to remove a whole bunch of type annotations.
