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