declare function CodePointsToString(codePoints: readonly number[]): string; export = CodePointsToString;