Commit 2026-07-28 08:12 bfc0bff5
View on Github →chore: finish renaming setOf to Set.ofPred (#42172)
Follow-up to #41507
Generated by Claude Opus, then reviewed and cherry-picked line-by-line by myself.
Assisted-by: Claude Opus 4.8
chore: finish renaming setOf to Set.ofPred (#42172)
Follow-up to #41507
Generated by Claude Opus, then reviewed and cherry-picked line-by-line by myself.
Assisted-by: Claude Opus 4.8