Comment about `EqDecision` in `Countable`.
Passed
Robbert Krebbers
created pipeline for commit
aabff4ca
, finished
Related merge request !268 to merge robbert/countable_eq_dec
4 minutes 29 seconds, queued for 3 seconds