Jwt.jwk.of: def of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 703-705 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=703&end_line=705

import Base
import bend-kit-json@0.7.0.0/json.bend as Json

# A key whose members repeat a name, at any depth, is skipped.
def jwk.of(v: Json.Val) -> Maybe<&2, Jwk>:
  jwk.obj(Json.unique.parsed(Some{v}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=unique.parsed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=Jwk
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=jwk.obj