def tl.pick

cswap-bend-cli@0.1.0.0 · fmt/ylex.bend:216

import Base

216def tl.pick(isd: Bool, iss: Bool, d: Maybe<&2, Nat>, s: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
217  match isd iss:
218    case True{} _:
219      d
220    case False{} True{}:
221      s
222    case False{} False{}:
223      None{}