def take.u

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

import Base

387def take.u(hop: Nat, xs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
388  match hop xs:
389    case 0n _:
390      List.reverse(&2, U32, acc)
391    case _ Nil{}:
392      List.reverse(&2, U32, acc)
393    case 1n+p +hd <> tl:
394      take.u(p, tl, hd <> acc)