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