Mp3Syn.dc.run: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Syn
Lines 799-805 of emerging-ezaudio@0.4.0.0/src/mp3_syn.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&start_line=799&end_line=805

import Base

# DCT-II of 18 frequency bins. kk is the first bin's index in the spectrum Array.
def dc.run(hop: Nat, acc: Array<F32>, +sec: List<&2, F32>, +kk: U32) -> Array<F32>:
  match hop:
    case 0n:
      acc
    case 1n+p:
      dc.run(p, dc.one(acc, sec, kk), sec, u.add(kk, 1))

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=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=dc.one
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=u.add