def legacy_claim

cswap-bend-cli@0.1.0.0 · pollrow.bend:94

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

94def legacy_claim(m: Maybe<&2, U32>, +now: U32) -> Bool:
95  match m:
96    case Some{a}:
97      U32.is_lt(Poll.sub0(now, a), 10)
98    case None{}:
99      False{}