def verify.parsed
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
639def verify.parsed(+p: Policy, key: Key, +now: U32, r: Result<&1, &1, Err, Parts>) -> IO(Result<&1, &1, Err, Json.Val>):
640 match r:
641 case Fail{e}:
642 IO.pure(Result<&1, &1, Err, Json.Val>, Fail{e})
643 case Done{parts}:
644 check(p, key, now, parts)