-
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.
