function stopBotimport { stopBot } from "https://deno.land/x/discordeno_patched@18.0.2/mod.ts"; stopBot(bot: Bot)Parametersbot: Bot