Draft: Use `RelDecision` when possible.
This code was probably written before RelDecision
existed (or based on such code).
Update: do not review yet, I detected a problem and need to change some more things.
Edited by Robbert Krebbers
This code was probably written before RelDecision
existed (or based on such code).
Update: do not review yet, I detected a problem and need to change some more things.
marked this merge request as draft
changed the description
added S-waiting-for-author label