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

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