Skip to content

Comment about `EqDecision` in `Countable`.

Robbert Krebbers requested to merge robbert/countable_eq_dec into master

Comments based on question by @haidang

@haidang Please review.

Merge request reports