def pw.pick

emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:276

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

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