/// export declare function catchMain(p: Promise): void; export declare function eraseChars(writeStream: NodeJS.WriteStream, n: number): void; export declare type StartTimerOptions = string | { name: string; writeStream?: NodeJS.WriteStream; }; export declare function startTimer(options: StartTimerOptions): { end: () => void; next(newName: string): void; progress: (msg: string) => void; setProgress(totalTick: number, initialTick?: number): void; tick(): void; };