def open.ok

emerging-ezaudio@0.4.0.0 · src/wav.bend:352

import Base

352def open.ok(ok: Bool, rest: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
353  match ok:
354    case True{}:
355      Some{rest}
356    case False{}:
357      None{}