def write.if
import emerging-ezaudio@0.4.0.0/src/wav.bend as Wavimport Base
469def write.if(
470 ok: Bool, +rate: U32, +ch: U32, +kind: U32, +frames: List<&2, U32>
471) -> Maybe<&2, List<&2, U32>>:
472 match ok:
473 case False{}:
474 None{}
475 case True{}:
476 write.some(rate, ch, kind, frames, enc.pcm(kind, frames))