[Merged by Bors] - feat: DecidableEq
for Multiset.ToType
#10505
Closed
DecidableEq
for Multiset.ToType
#10505