~/jendhub

def drop.u

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

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

378def drop.u(hop: Nat, xs: List<&2, U32>) -> List<&2, U32>:
379  match hop xs:
380    case 0n ys:
381      ys
382    case _ Nil{}:
383      []
384    case 1n+p _hd <> tl:
385      drop.u(p, tl)

Uses (3)

Used by (1)