• Robbert Krebbers's avatar
    Explicitly unfold some definitions. · 13dc3369
    Robbert Krebbers authored
    These unfolds kind of make sense, and I was quite surprised that
    it used to work before. However, when changing to primitive
    records, these unfolds are actually needed.
    13dc3369
cancelable_invariants.v 3.35 KB