@types/es-abstract/2017/HasProperty.d.ts

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