~/jendhub

def lease_until

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

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import Base

195# A claim lease: claimUntil, else the legacy 10 s after lastAttemptAt.
196def lease_until(cu: Maybe<&2, U32>, la: Maybe<&2, U32>) -> Nat:
197  match cu:
198    case Some{c}:
199      U32.to_nat(c)
200    case None{}:
201      legacy_until(la)

Uses (5)

Used by (1)