def leeway

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

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

62def leeway(p: Policy, +n: U32) -> Policy:
63  Policy{a, i, u, old} = p
64  Policy{a, i, u, n}

Uses (2)

Used by (0)

No other definition uses this definition.