Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
The only drawback is that we have to restrict iprod to finite types, but that is fine.
Robbert Krebbers authoredThe only drawback is that we have to restrict iprod to finite types, but that is fine.
