def dec.spec
emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:569
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Dec
import Base
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Enc
569
570def dec.spec(+g: Gd, bits: List<&2, U32>, +lib: Lib) -> List<&2, F32>:
571 match g:
572 case Gd{_part, +big, +gain, _c, _t0, _t1, _t2, +r0, _r1, _pre, _sc, _c1, _block}:
573 hs.spec(hs.go(U32.to_nat(big), g, Enc.gain.of(gain), lib,
574 hs.open(0, bits, List.replicate(F32, 576n, 0.0), 0, 0, r0, lib.scf(lib))))