def side.tail

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

import Base

146def side.tail(
147  +part: U32, +big: U32, +gain: U32, +comp: U32, +t0: U32, +t1: U32, +t2: U32, +r0: U32, +r1: U32,
148  tail: Tk
149) -> Gd & List<&2, U32>:
150  match tail:
151    case Tk{+v, xs}:
152      (Gd{part, big, gain, comp, t0, t1, t2, r0, r1, (v >> 2n : U32), ((v >> 1n : U32) .&. 1 : U32),
153        (v .&. 1 : U32), 0}, xs)