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