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