`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops...
Passed
Robbert Krebbers
created pipeline for commit
b81aa3aa
, finished
For master
11 minutes 0 seconds, queued for 0 seconds