def neg.pick

cswap-bend-cli@0.1.0.0 · importu.bend:17

import cswap-bend-cli@0.1.0.0/importu.bend as Importu

import Base

17def neg.pick(neg: Bool, +s: String) -> Maybe<&2, String>:
18  match neg:
19    case True{}:
20      None{}
21    case False{}:
22      Some{s}

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/importu:nonneg