Skip to content

Conversation

@hahnjo
Copy link
Member

@hahnjo hahnjo commented May 23, 2025

The outer container must be sorted, as already done for nested unordered_set.

hahnjo added 2 commits May 23, 2025 10:53
The outer container must be sorted, as already done for nested
unordered_set.
We sort the final container valueSorted at the end.
@hahnjo hahnjo added this to the 1.0 milestone May 23, 2025
@hahnjo hahnjo requested review from enirolf and silverweed May 23, 2025 09:01
@hahnjo hahnjo self-assigned this May 23, 2025
@hahnjo hahnjo added the types label May 23, 2025
@hahnjo hahnjo merged commit 3562a15 into root-project:main May 23, 2025
1 check passed
@hahnjo hahnjo deleted the sort-set-nested branch May 23, 2025 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants