import { type djwt } from "https://deno.land/x/live@1.67.9/commons/jwt/deps.ts";
const { VerifyOptions } = djwt;
With expLeeway and nbfLeeway implementers may provide for some small
leeway to account for clock skew (JWT §4.1.4). The default is 1 second.
By passing the option audience, this application tries to identify the
recipient with a value in the aud claim. If the values don't match, an
Error is thrown.
definition: { expLeeway?: number; nbfLeeway?: number; ignoreExp?: boolean; ignoreNbf?: boolean; audience?: string | string[] | RegExp; predicates?: (<P extends Payload>(payload: P) => boolean)[]; }