Mp3Enc.an.push: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
Lines 190-194 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=190&end_line=194

import Base

def an.push(st: An, blk: List<&2, F32>, +win: List<&2, F32>, cos: Array<F32>) -> An & Array<F32>:
  match st:
    case An{x, +head, out}:
      an.done(((head + 32 : U32) .&. 511 : U32), out,
        an.sb(an.write(32n, x, head, blk), ((head + 32 : U32) .&. 511 : U32), win, cos))

Uses (11):
  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=Pair
  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.and
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=An
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=an.done
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=an.sb
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_enc.bend&name=an.write