import { type jwtCore } from "https://deno.land/x/dtils@2.2.0/deps.ts";
const { VerifyOptions } = jwtCore;
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.