def dec.when
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Decimport Base
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Enc
369def dec.when(ok: Bool, +t0: U32, +gain: U32, bits: List<&2, U32>, lib: Lib) -> F32:
370 match ok:
371 case False{}:
372 0.0
373 case True{}:
374 dec.s0(hf.from(lib, bits, t0, Enc.gain.of(gain)))