-
Robbert Krebbers authored
Revert "`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification." This reverts commit b81aa3aa.
9d7640c0
Revert "`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification." This reverts commit b81aa3aa.