They don’t use stop lights, they use the lighting system over the individual lanes. Green if you can drive there, then I think they move to yellow then red. There are enough minutes in this change to allow for cars to move through. So for several minutes there, the shared lane is empty as it transfers direction.