function defaultimport { default } from "https://dotland.deno.dev/x/jose@v5.9.6/lib/validate_crit.ts"; default(Err: JWEInvalid | JWSInvalid,recognizedDefault: Map<string, boolean>,recognizedOption: { [propName: string]: boolean; } | undefined,protectedHeader: CritCheckHeader | undefined,joseHeader: CritCheckHeader,)ParametersErr: JWEInvalid | JWSInvalidrecognizedDefault: Map<string, boolean>recognizedOption: { [propName: string]: boolean; } | undefinedprotectedHeader: CritCheckHeader | undefinedjoseHeader: CritCheckHeader