~/jendhub

def early

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

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

353# nbf and iat: at most leeway seconds in the future.
354def early(+now: U32, +lw: U32, m: Maybe<&2, U32>) -> Bool:
355  match m:
356    case None{}:
357      False{}
358    case Some{+t}:
359      Bool.and(U32.is_lt(now, t), U32.is_lt(lw, (t - now : U32)))

Uses (6)

Used by (1)