def future.step

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

import cswap-bend-cli@0.1.0.0/poll.bend as Poll
import Base

321def future.step(r: Maybe<&2, U32>, +now: U32, acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
322  match r:
323    case Some{+x}:
324      future.pick(U32.is_gt(x, now), x, acc)
325    case None{}:
326      acc

Uses (4)

Used by (1)