Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This way we can use uPred_valid for validity of uPreds, which more sense.
Robbert Krebbers authoredThis way we can use uPred_valid for validity of uPreds, which more sense.
