Skip to content

Comment about `EqDecision` in `Countable`.

Robbert Krebbersrequested to merge
robbert/countable_eq_dec into master

Comments based on question by @haidang

@haidang Please review.

Merge request reports