type Jwks

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

import Base

783# A cached key set from the caller's own trusted url; a token never picks the url (jku and x5u are ignored).
784# live: fetched once; at: the unix time of the last good fetch; ttl: seconds it stays fresh;
785# tried: the unix time of the last fetch, good or not.
786type Jwks is Data:
787  Jwks{url: String, ttl: U32, live: Bool, at: U32, tried: Maybe<&2, U32>, keys: List<&2, Jwk>}