declare type HasValue = any; declare function has(object: O, property: P): object is O & { [key in P]: HasValue; }; export = has;