EmergingEzaudio.ls.slice: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio
Lines 124-125 of emerging-ezaudio@0.4.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/main.bend&start_line=124&end_line=125

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=ls.drop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=ls.take