Comment about `EqDecision` in `Countable`. (!268) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/countable_eq_dec into master 3 years ago

Status	Pipeline	Created by	Stages
Passed 00:04:29 3 years ago	Comment about `EqDecision` in `Countable`. #47649 268 aabff4ca merge request		Stage: build	Download artifacts No artifacts found

Comment about `EqDecision` in `Countable`.