Mp3Enc.al.go: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc Lines 1048-1053 of emerging-ezaudio@0.4.0.0/src/mp3_enc.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&start_line=1048&end_line=1053 import Base def al.go(hop: Nat, acc: Array, +aa: List<&2, F32>, +bb: U32) -> Array: match hop: case 0n: acc case 1n+p: al.go(p, al.band(acc, aa, bb), aa, (bb - 1 : U32)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=al.band