Mp3Dec.dec.seek: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Dec
Lines 924-928 of emerging-ezaudio@0.4.0.0/src/mp3_dec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&start_line=924&end_line=928

import Base

# gain 0 and one big_value: read the Huffman pair, skip the filterbank
def dec.seek(
  +frame: List<&2, U32>, +nch: U32, +ov: List<&2, F32>, +qmf: List<&2, F32>, +lib: Lib
) -> Maybe<&2, Out>:
  seek.op(side.open(side.skip(bits.of(frame), 32), nch), frame, nch, ov, qmf, lib)

Uses (10):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=Out
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=bits.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=seek.op
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=side.open
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=side.skip