def hdr.sync

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

import Base

74# 1 when the first two bytes carry the 11-bit sync 0xFFE
75def hdr.sync(xs: List<&2, U32>) -> Bool:
76  match xs:
77    case 255 <> +b1 <> _b2 <> _b3 <> _rest:
78      U32.is_eq((b1 .&. 224 : U32), 224)
79    case _:
80      False{}