def scan.pick

import cswap-bend-cli@0.1.0.0/json/scan.bend as Scan

import Base

26def scan.pick(stop: Bool, rest: Nat) -> Nat:
27  match stop:
28    case True{}:
29      0n
30    case False{}:
31      rest

Uses (2)