Jwt.Jwks: type of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 783-787 of bend-kit-jwt@0.11.0.1/jwt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&start_line=783&end_line=787

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=Jwk