def spec.bands
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
955def spec.bands(
956 hop: Nat, +aa: List<&2, List<&2, F32>>, +cc: List<&2, List<&2, F32>>, tab: Array<F32>,
957 +band: U32, acc: List<&2, List<&2, F32>>
958) -> Array<F32> & List<&2, F32>:
959 match hop:
960 case 0n:
961 (tab, flat.bands(f.revs(acc)))
962 case 1n+p:
963 spec.step(p, aa, cc, br.of(band.row(aa, cc, tab, band)), band, acc)