Storable package:synthesizer-core

The same restrictions as for runCont apply.
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