def non_empty_pick

cswap-bend-cli@0.1.0.0 · tui/read.bend:88

import Base

88def non_empty_pick(+blank: Bool, +s: String) -> Maybe<&2, String>:
89  match blank:
90    case True{}:
91      None{}
92    case False{}:
93      Some{s}