Wav.step.dat: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav
Lines 220-228 of emerging-ezaudio@0.4.0.0/src/wav.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&start_line=220&end_line=228

import Base

def step.dat(
  isd: Bool, +tag: U32, +sz: U32, +seen: U32, +kind: U32, +ch: U32, +rate: U32,
  ys: List<&2, U32>, frames: List<&2, U32>
) -> St:
  match isd:
    case False{}:
      step.next(sz, tag, seen, kind, ch, rate, frames)
    case True{}:
      step.pcm(U32.is_eq(seen, 1), sz, kind, ch, rate, ys, frames)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=step.next
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=step.pcm