Text.pct1.pick: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/usage/text.bend as Text Lines 140-145 of cswap-bend-cli@0.1.0.0/usage/text.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/text.bend&start_line=140&end_line=145 import Base def pct1.pick(ok: Bool, +i: String, +f: String) -> Maybe<&2, String>: match ok: case True{}: pct1.fin(i, f) case False{}: None{} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/text.bend&name=pct1.fin