EmergingEzaudio.trim: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio
Lines 143-148 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=143&end_line=148

import Base

# frames [start, start + nframes). none when that span passes the end.
def trim(c: Clip, +start: U32, +nframes: U32) -> Maybe<&2, Clip>:
  match c:
    case Clip{+hz, +nch, fmt, +pcm}:
      trim.go(U32.is_le((start + nframes : U32), count.of(nch, U32.from_nat(List.length(&2, U32, pcm)))), hz, nch,
        fmt, pcm, start, nframes)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=Clip
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=count.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=trim.go