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