function removeRoleimport { removeRole } from "https://deno.land/x/discordeno_patched@18.0.2/mod.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