def dc.run
import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Synimport Base
799# DCT-II of 18 frequency bins. kk is the first bin's index in the spectrum Array.
800def dc.run(hop: Nat, acc: Array<F32>, +sec: List<&2, F32>, +kk: U32) -> Array<F32>:
801 match hop:
802 case 0n:
803 acc
804 case 1n+p:
805 dc.run(p, dc.one(acc, sec, kk), sec, u.add(kk, 1))