der: have SetOf(Vec)::insert check for duplicates
#2217
+54
−5
Merged
Loading