import { type jose } from "https://deno.land/x/jwe_cookie_map@v1.0.1/src/deps.ts";
const { ProtectedHeaderParameters } = jose;
definition: JWSHeaderParameters & JWEHeaderParameters
import { type jose } from "https://deno.land/x/jwe_cookie_map@v1.0.1/src/deps.ts";
const { ProtectedHeaderParameters } = jose;