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