def bd.drop

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

import Base

576# drop a prefix of a byte list
577def bd.drop(hop: Nat, xs: List<&2, U32>) -> List<&2, U32>:
578  match hop xs:
579    case 0n ys:
580      ys
581    case _ Nil{}:
582      []
583    case 1n+p _hd <> tl:
584      bd.drop(p, tl)