Usage.poll.overslept: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
Lines 286-292 of cswap-bend-cli@0.1.0.0/policy/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&start_line=286&end_line=292

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.max
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub