interface Accountimport { type Account } from "https://deno.land/x/ptereno@v1.0.1/lib/types/client.ts"; Propertiesobject: "user"attributes: AccountAttributes