def lib.use

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

import Base

606# one sample-rate row of the scale-factor widths
607def lib.use(l: Lib, +hz: U32) -> Lib:
608  match l:
609    case Lib{+huff, +ix, +lin, +pow, s}:
610      Lib{huff, ix, lin, pow, bd.take(22n, bd.drop(U32.to_nat(scf.off(hz)), s), [])}