iterate over bit sets in bitvect or bitset
It would be nice to be able to iterate efficiently on the bits that are sets in a bitset or bitvect. For the bitset case, which is used to implement mark_t, we already have such an implementation in mark_container, but this feature could better be implemented in bitset.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information