Wav.step.byte: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav Lines 338-343 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=338&end_line=343 import Base def step.byte(st: St, +hd: U32) -> St: match st: case St{+phase, +left, +tag, +sz, +seen, +kind, +ch, +rate, +acc, +frames}: step.bad( U32.is_eq(seen, 3), phase, st.set(phase, left, tag, sz, seen, kind, ch, rate, acc, frames), hd) Uses (5): 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=st.set https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=step.bad