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

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