def bv.at
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
413def bv.at(st: Bv, +hz: U32, +band: U32) -> Bv:
414 match st:
415 case Bv{+ix, last, +acc}:
416 bv.band(ix, last, acc, scf.at(hz, band))
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
413def bv.at(st: Bv, +hz: U32, +band: U32) -> Bv:
414 match st:
415 case Bv{+ix, last, +acc}:
416 bv.band(ix, last, acc, scf.at(hz, band))