compare with ordered_set #1

Closed ruslandoga closed 9 months ago