Wav.pcm.cons: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav Lines 125-130 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=125&end_line=130 import Base def pcm.cons(got: Maybe<&2, List<&2, U32>>, +vv: U32) -> Maybe<&2, List<&2, U32>>: match got: case None{}: None{} case Some{rest}: Some{vv <> rest} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32