~/jendhub

def plan.reset.pick

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

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

232def plan.reset.pick(ex: Bool, lim: Maybe<&2, U32>, fut: Maybe<&2, U32>, +now: U32) -> Maybe<&2, U32>:
233  match ex lim:
234    case True{} Some{+x}:
235      keep.m(U32.is_gt(x, now), Some{x})
236    case True{} None{}:
237      None{}
238    case False{} _:
239      fut

Uses (5)

Used by (1)