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