def hp.use

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:521

import Base

521def hp.use(z: Bool, hp: Hp, +w: U32, +av: U32, +bv: U32, +aa: U32, +bb: U32, +lin: U32) -> Hp:
522  match z:
523    case True{}:
524      Hp{[], 0, 0}
525    case False{}:
526      hp.sign(hp.lin(hp.sign(hp.lin(hp.field(U32.to_nat((w >> 16n : U32)), hp, (w .&. 65535 : U32),
527        (w >> 16n : U32)), lin, aa), av, aa), lin, bb), bv, bb)