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