Mp3.walk.fr0: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3
Lines 535-544 of emerging-ezaudio@0.4.0.0/src/mp3.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&start_line=535&end_line=544

import Base
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Dec

def walk.fr0(
  cold: Bool, +buf: List<&2, U32>, +hz0: U32, +ch0: U32, pcm0: List<&2, U32>, ov: List<&2, F32>,
  qmf: List<&2, F32>, +fresh: U32, lib: Dec.Lib
) -> Wk:
  match cold:
    case True{}:
      walk.fr1(buf, hdr.hz(buf), hdr.ch(buf), Dec.lib.use(lib, hdr.hz(buf)))
    case False{}:
      walk.fr2(wk.eq(U32.is_eq(hdr.hz(buf), hz0), U32.is_eq(hdr.ch(buf), ch0)), buf, hz0, ch0, pcm0, ov,
        qmf, fresh, lib)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=Wk
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=hdr.ch
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=hdr.hz
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=walk.fr1
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=walk.fr2
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=wk.eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=Lib
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=lib.use