Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification.
Robbert Krebbers authored`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification.
