Set: do not deduplicate Cmp objects#85

rjbs wants to merge 1 commit intomainrjbs/Test-Deep:mainfrom

two-cmps-are-not-eqrjbs/Test-Deep:two-cmps-are-not-eqCopy head branch name to clipboard