import IsExtensible = require("../2023/IsExtensible");
export = IsExtensible;