def enc.some

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:1489

import Base

1489def enc.some(empty: Bool, +xs: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
1490  match empty:
1491    case True{}:
1492      None{}
1493    case False{}:
1494      Some{xs}