def key.after
import bend-kit-jwt@0.11.0.1/jwt.bend as Jwtimport 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)