def ls.slice

emerging-ezaudio@0.4.0.0 · main.bend:124

import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio

import Base

124def ls.slice(xs: List<&2, U32>, +dropn: U32, +taken: U32) -> List<&2, U32>:
125  ls.take(U32.to_nat(taken), ls.drop(U32.to_nat(dropn), xs), [])

Uses (5)

Used by (1)

emerging-ezaudio@0.4.0.0/main:trim.go