def exhausted

cswap-bend-cli@0.1.0.0 · poll.bend:202

import Base

202def exhausted(new: Maybe<&2, U32>) -> Bool:
203  match new:
204    case Some{n}:
205      U32.is_ge(n, 1000)
206    case None{}:
207      False{}