Audio.write: def of Base
Import: import Base
Lines 511-513 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=511&end_line=513

import Base

def Audio.write(audio: Audio, samples: List<&2, F32>) -> IO(Audio & U32):
  import "./effs/audio.c"
  import "./effs/audio_write.js"

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Audio
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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