-
Robbert Krebbers authored
Coq also uses level 200 for these constructs. Besides, heap_lang's match and if were also already at this level.
fe17c6af
Coq also uses level 200 for these constructs. Besides, heap_lang's match and if were also already at this level.