def Budget.late

bend-kit-retry@0.3.0.0 · retry.bend:63

import bend-kit-retry@0.3.0.0/retry.bend as Retry

import Base

63def Budget.late(+now: Nat, d: Maybe<&2, Nat>) -> Bool:
64  match d:
65    case None{}:
66      False{}
67    case Some{t}:
68      Nat.is_le(t, now)

Uses (4)

Used by (2)