def hp.bit

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

import Base

437def hp.bit(hp: Hp, +bit: U32) -> Hp:
438  match hp:
439    case Hp{_bs, _n, 0}:
440      Hp{[], 0, 0}
441    case Hp{bs, +n, _ok}:
442      Hp{bit <> bs, (n + 1 : U32), 1}