Hi Anders,

What you're proposing is already part of
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3103r2.html

The interface is still a bit up-for-debate, but you would be able to
efficiently traverse a bitset with the proposed functions.