~/jendhub

def late

bend-kit-jwt@0.11.0.1 · jwt.bend:345

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
import Base

345# exp (RFC 7519 §4.1.4): now must be before it; late by at least leeway fails.
346def late(+now: U32, +lw: U32, m: Maybe<&2, U32>) -> Bool:
347  match m:
348    case None{}:
349      False{}
350    case Some{+t}:
351      Bool.and(U32.is_le(t, now), U32.is_le(lw, (now - t : U32)))

Uses (6)

Used by (1)