def ls.slice

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

import Base

134# a slice of length hop starting at an index
135def ls.slice(+xs: List<&2, F32>, +at: U32, hop: Nat) -> List<&2, F32>:
136  ls.take(hop, ls.drop(U32.to_nat(at), xs), [])