def mp3.encode
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
424# samples are interleaved U32 bits. kind 1 is s16, kind 3 is binary32.
425def mp3.encode(
426 +hz: U32, +ch: U32, +kind: U32, frames: List<&2, U32>
427) -> Maybe<&2, List<&2, U32>>:
428 mp3.pick(enc.rate(hz) && enc.ch(ch) && kind.ok(kind), hz, ch, kind, frames)