def poll.overslept

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

import Base

286# next_poll_at lies further out than max(interval, 600) * 1.1 + 60 s.
287def poll.overslept(+np: Maybe<&2, Nat>, +now: Nat, +pi: Nat) -> Bool:
288  match np:
289    case None{}:
290      False{}
291    case Some{n}:
292      Nat.is_gt(Nat.mul(10n, Nat.sub(Nat.sub(n, now), 60n)), Nat.mul(11n, Nat.max(pi, 600n)))