def drop.b

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

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc

import Base

965def drop.b(hop: Nat, xs: List<&2, List<&2, F32>>) -> List<&2, List<&2, F32>>:
966  match hop xs:
967    case 0n ys:
968      ys
969    case _ Nil{}:
970      []
971    case 1n+p _hd <> tl:
972      drop.b(p, tl)

Uses (3)

Used by (3)