def hdr.pad

emerging-ezaudio@0.4.0.0 · src/mp3.bend:58

import Base

58# padding bit
59def hdr.pad(xs: List<&2, U32>) -> U32:
60  match xs:
61    case _b0 <> _b1 <> +b2 <> _b3 <> _rest:
62      ((b2 >> 1n : U32) .&. 1 : U32)
63    case _:
64      0