def sr.zero
emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:712
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
import Base
712def sr.zero(
713 z: Bool, +ix: List<&2, U32>, +mx: U32, +big: U32, +bud: U32, +lo: U32, +hi: U32, +mid: U32,
714 +ogg: U32, +ot: U32, obits: List<&2, U32>, +ook: U32
715) -> Sr:
716 match z:
717 case True{}:
718 sr.fit(True{}, lo, hi, mid, 0, [], ogg, ot, obits, ook)
719 case False{}:
720 sr.best(best.of(take.u(U32.to_nat((big * 2 : U32)), ix, [])), mx, bud, lo, hi, mid, ogg, ot,
721 obits, ook)