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