def jwks.doc
import bend-kit-jwt@0.11.0.1/jwt.bend as Jwtimport Base
import bend-kit-json@0.7.0.0/json.bend as Json
728def jwks.doc(m: Maybe<&1, Json.Val>) -> Maybe<&2, List<&2, Jwk>>:
729 match m:
730 case Some{v}:
731 jwks.arr(Json.get(v, "keys"))
732 case None{}:
733 None{}