Jwt.Jwk: type of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 652-655 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=652&end_line=655

import Base

# A usable public key from a set: its kid, RSA or EC P-256, its alg ("" when the set gives none), and its
# two base64url parts (n and e, or x and y).
type Jwk is Data:
  Jwk{kid: String, rsa: Bool, alg: String, a: String, b: String}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String