header for DefinitelyTyped