Mp3Syn.d9.t0: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Syn
Lines 169-171 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=169&end_line=171

import Base

# even-part sum used by the 9-point DCT
def d9.t0(+y0: F32, +y6: F32) -> F32:
  f.add(y0, f.mul(y6, c.half()))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=c.half
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=f.add
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=f.mul