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