-
Robbert Krebbers authored
This way, they are non-delta unfoldable constants, which showed a positive impact on the performance of setoid rewriting. We may want to do this for other cmra/cofe structures too.
24c3871c
This way, they are non-delta unfoldable constants, which showed a positive impact on the performance of setoid rewriting. We may want to do this for other cmra/cofe structures too.