import type { ReaderState } from './reader.state.js';
import type { RepaintCtx, repaint as _repaint } from './reader.repaint.js';
import type { KeyInfo, IHistoryRing } from './types.js';
export declare function handleNavKey(key: KeyInfo, st: ReaderState, stdout: NodeJS.WriteStream, repaintCtx: RepaintCtx, repaintFn: typeof _repaint, history: IHistoryRing | undefined): boolean;
export declare function writeEofOutput(st: ReaderState, stdout: NodeJS.WriteStream): void;