Skip to content
GitLab

Comment about `EqDecision` in `Countable`.

Merged Robbert Krebbers requested to merge robbert/countable_eq_dec into master

Comments based on question by @haidang

@haidang Please review.

Merge request reports