function removeRoleimport { removeRole } from "https://dotland.deno.dev/x/discordeno@18.0.1/plugins/fileloader/deps.ts"; removeRole(bot: Bot,guildId: BigString,userId: BigString,roleId: BigString,reason?: string,)Removes a role from a member. Parametersbot: Bot The bot instance to use to make the request. guildId: BigString The ID of the guild the member to remove the role from is in. userId: BigString The user ID of the member to remove the role from. roleId: BigString The ID of the role to remove from the member. optionalreason: string