def ls.drop

emerging-ezaudio@0.4.0.0 · src/mp3_syn.bend:114

import Base

114# drop a prefix
115def ls.drop(hop: Nat, xs: List<&2, F32>) -> List<&2, F32>:
116  match hop xs:
117    case 0n ys:
118      ys
119    case _ Nil{}:
120      []
121    case 1n+p _hd <> tl:
122      ls.drop(p, tl)