def frames.empty
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
314def frames.empty(xs: List<&2, U32>) -> Bool:
315 match xs:
316 case Nil{}:
317 True{}
318 case _ <> _t:
319 False{}
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
314def frames.empty(xs: List<&2, U32>) -> Bool:
315 match xs:
316 case Nil{}:
317 True{}
318 case _ <> _t:
319 False{}