Mp3Dec.pw.pick: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Dec
Lines 276-281 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=276&end_line=281

import Base
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Enc

def pw.pick(small: Bool, +x: U32, +pows: List<&2, U32>) -> F32:
  match small:
    case True{}:
      Enc.f32.bits(u.nth(pows, (16 + x : U32)))
    case False{}:
      pw.wide(U32.is_lt(x, 1024), x, pows)

Uses (9):
  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.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=pw.wide
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=u.nth
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=f32.bits