def pay.z

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

import Base

781# payload after the 4-byte header is entirely zero
782def pay.z(xs: List<&2, U32>) -> Bool:
783  match xs:
784    case Nil{}:
785      True{}
786    case 0 <> tl:
787      pay.z(tl)
788    case _ <> _tl:
789      False{}