def poll.stale

cswap-bend-cli@0.1.0.0 · policy/usage.bend:272

import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage

import Base

272def poll.stale(+fa: Maybe<&2, Nat>, +now: Nat, +ttl: Nat) -> Bool:
273  match fa:
274    case None{}:
275      True{}
276    case Some{f}:
277      Nat.is_gt(Nat.sub(now, f), ttl)

Uses (5)

Used by (2)