Split a storable signal into a sequence of signals. A new piece is
started whenever the Boolean signal contains a
True. The first
piece in the result is the part from the beginning until the first
True. That is, if the signal
Bool starts with a
True, then the first result piece is empty.
When the control signal is at least as long as the storable signal and
if we neglect the chunking structure, then it holds
concat (chopStorable bs xs) == xs