def mp3.pick

emerging-ezaudio@0.4.0.0 · src/mp3.bend:415

import Base

415def mp3.pick(
416  ok: Bool, +hz: U32, +ch: U32, +kind: U32, +frames: List<&2, U32>
417) -> Maybe<&2, List<&2, U32>>:
418  match ok:
419    case False{}:
420      None{}
421    case True{}:
422      mp3.body(frames.empty(frames), hz, ch, kind, frames)