def name.pick

cswap-bend-cli@0.1.0.0 · policy/safe.bend:165

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
import Base

165def name.pick(+hit: Bool, +a: Algo, +rest: Maybe<&2, Algo>) -> Maybe<&2, Algo>:
166  match hit:
167    case True{}:
168      Some{a}
169    case False{}:
170      rest

Uses (3)

Used by (1)