def sq.pick

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

import cswap-bend-cli@0.1.0.0/fmt/ylex.bend as Ylex

import Base

186def sq.pick(done: Bool, n: Nat, rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
187  match done:
188    case True{}:
189      Some{n}
190    case False{}:
191      rest

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/fmt/ylex:sq.end