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