def nz.n

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:367

import Base

367def nz.n(hop: Nat, xs: List<&2, U32>) -> Bool:
368  match hop xs:
369    case 0n _:
370      False{}
371    case _ Nil{}:
372      False{}
373    case 1n+p 0 <> t:
374      nz.n(p, t)
375    case _ _:
376      True{}