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