Mp3Enc.gr.u: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc Lines 848-853 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=848&end_line=853 import Base def gr.u(z: Bool, +gg: U32, +tab: U32, bits: List<&2, U32>, +big: U32) -> Gr: match z: case False{}: Gr{0, 0, 0, 0, []} case True{}: gr.from(rv.go(bits, [], 0), gg, tab, big) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=Gr https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=gr.from https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=rv.go