def enc.finish
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
1519def enc.finish(
1520 ok: Bool, +hz: U32, +ch: U32, +kind: U32, frames: List<&2, U32>
1521) -> Maybe<&2, List<&2, U32>>:
1522 match ok:
1523 case False{}:
1524 None{}
1525 case True{}:
1526 enc.go(hz, ch, kind, frames)