Mp3.walk.seen: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3
Lines 590-593 of emerging-ezaudio@0.4.0.0/src/mp3.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&start_line=590&end_line=593

import Base

def walk.seen(full: Bool, st: Wk) -> Wk:
  match st:
    case Wk{hz, ch, pcm, ov, qmf, fresh, lib, on, phase, left, +buf}:
      walk.seen2(full, buf, Wk{hz, ch, pcm, ov, qmf, fresh, lib, on, phase, left, buf})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=Wk
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=walk.seen2