def walk.fr0

emerging-ezaudio@0.4.0.0 · src/mp3.bend:535

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

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