Mp3.wk.zero: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3
Lines 639-640 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=639&end_line=640

import Base
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Dec

def wk.zero() -> Wk:
  Wk{0, 0, [], [], [], 1, Dec.lib.of(), 0, 0, 0, []}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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_dec.bend&name=lib.of