def zeros.rest

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

import Base

295def zeros.rest(xs: List<&2, U32>) -> Bool:
296  match xs:
297    case Nil{}:
298      True{}
299    case 0 <> t:
300      zeros.rest(t)
301    case _ <> _t:
302      False{}