Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
We now use the `Maybe` prefix as also used for `Frame`: it indicates whether progress has been made by stripping of a later or not.
Robbert Krebbers authoredWe now use the `Maybe` prefix as also used for `Frame`: it indicates whether progress has been made by stripping of a later or not.
