Settings.exp.pick: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings Lines 117-122 of cswap-bend-cli@0.1.0.0/settings.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&start_line=117&end_line=122 import Base def exp.pick(ok: Bool, neg: Bool, d: String) -> Maybe<&2, Exp>: match ok: case True{}: Some{Exp{neg, exp.cap(d)}} case False{}: None{} Uses (5): 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/settings.bend&name=Exp https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=exp.cap