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

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