Mp3Enc.pk.step: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
Lines 1374-1384 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=1374&end_line=1384

import Base

def pk.step(
  gs: List<&2, Gr>, +buf: List<&2, Gr>, +have: U32, +per: U32, +hz: U32, +ch: U32,
  acc: List<&2, List<&2, U32>>
) -> List<&2, List<&2, U32>>:
  match gs:
    case Nil{}:
      List.reverse(&2, List<&2, U32>, acc)
    case +hd <> tl:
      pk.step(tl, pk.buf(U32.is_eq((have + 1 : U32), per), buf, hd),
        pk.have(U32.is_eq((have + 1 : U32), per), have), per, hz, ch,
        pk.acc(U32.is_eq((have + 1 : U32), per), buf, hd, hz, ch, acc))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  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/mp3_enc.bend&name=Gr
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=pk.acc
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=pk.buf
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=pk.have