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