/// <reference types="node" />
export declare function catchMain(p: Promise<any>): void;
export declare function eraseChars(writeStream: NodeJS.WriteStream, n: number): void;
/** @deprecated moved to timer.ts */
export { SetProgress, SetProgressOptions, startTimer, StartTimerOptions, } from './timer';