EmergingEzaudio.encode_mp3: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio
Lines 234-238 of emerging-ezaudio@0.4.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/main.bend&start_line=234&end_line=238

import Base
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3

# MPEG-1 Layer III at 320 kbit/s. rates are 32000, 44100, and 48000. none when unfit or empty.
def encode_mp3(c: Clip) -> Maybe<&2, List<&2, U32>>:
  match c:
    case Clip{+hz, +nch, fmt, pcm}:
      Mp3.mp3.encode(hz, nch, kind.of(fmt), pcm)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/main.bend&name=Clip
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/main.bend&name=kind.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=mp3.encode