/**
 * Try to get a file from an url. An error means the file is not ready yet. Retry until it is.
 */
export declare function downloadFile(url: string, filename: string): Promise<void>;