def ix.pull
import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Synimport Base
342# pull one sample; hop is remaining after this read
343def ix.pull(hop: Nat, got: Dx, +ii: U32, ys: List<&2, F32>) -> Il:
344 match hop got:
345 case 0n Dx{acc, +cur}:
346 Il{acc, List.reverse(&2, F32, cur <> ys)}
347 case 1n+p Dx{acc, +cur}:
348 ix.pull(p, dx.at(acc, u.add(ii, 1)), u.add(ii, 1), cur <> ys)