function deleteRoleimport { deleteRole } from "https://dotland.deno.dev/x/discordeno@13.0.0-rc45/plugins/cache/deps.ts"; deleteRole(bot: Bot,guildId: bigint,id: bigint,)Delete a guild role. Requires the MANAGE_ROLES permission. Parametersbot: BotguildId: bigintid: bigint