Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This is more natural, match should be used in user code, not case.
Robbert Krebbers authoredThis is more natural, match should be used in user code, not case.
