def dq.pick

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

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

import Base

163def dq.pick(done: Bool, n: Nat, rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
164  match done:
165    case True{}:
166      Some{n}
167    case False{}:
168      rest

Uses (3)

Used by (1)

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