Commit 2026-03-20 05:22 74ba8017
View on Github →feat(Order/Interval/Set/Linearorder): use to_dual (#36821)
This PR is subset of #35635. As was observed in that PR, some declarations in this file are annoying to tag. So, this PR adds only those to_dual tags which are obviously beneficial. The rest can be done later if desired.