-
Robbert Krebbers authored
This made the definition much simpler, and provides support for all specialization patterns (although most are not very useful in combination with `iAssert`).
0b462620
This made the definition much simpler, and provides support for all specialization patterns (although most are not very useful in combination with `iAssert`).