import { World, Vector, system } from "@minecraft/server";

// Then the rest is the codes that should be imported.