def hs.next

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

import Base

471def hs.next(
472  endb: Bool, bits: List<&2, U32>, spec: List<&2, F32>, +at: U32, +band: U32, +left: U32, +reg: U32,
473  +cnt: U32, +g: Gd, +scf: List<&2, U32>
474) -> Hs:
475  match endb:
476    case False{}:
477      Hs{bits, spec, at, band, (left - 1 : U32), reg, cnt}
478    case True{}:
479      hs.region(U32.is_eq(cnt, 0), bits, spec, at, (band + 1 : U32), reg, cnt, g, scf)