def key.after

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

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
import Base
import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin

840def key.after(+kid: String, +a: Alg, x: Hairpin.Client & Jwks & Result<&1, &1, Err, Unit>) ->
841    Hairpin.Client & Jwks & Result<&1, &1, Err, Key>:
842  (c, s, r) = x
843  key.after.r(r, c, s, kid, a)

Uses (11)

Used by (1)