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