interface dom.PushSubscriptionOptionsimport { type dom } from "https://deno.land/x/evt@v2.5.3/mod.ts"; const { PushSubscriptionOptions } = dom; PropertiesreadonlyapplicationServerKey: ArrayBuffer | nullreadonlyuserVisibleOnly: boolean