def tk.drop

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

import Base

46def tk.drop(hop: Nat, xs: List<&2, U32>) -> List<&2, U32>:
47  match hop xs:
48    case 0n ys:
49      ys
50    case _ Nil{}:
51      []
52    case 1n+p _hd <> tl:
53      tk.drop(p, tl)