/**
 * Lightweight performance monitoring helper for KaTeX rendering.
 * Only used during development to understand Worker/cache benefits.
 */
interface RenderMetrics {
    type: 'worker' | 'direct' | 'cache-hit';
    duration: number;
    formulaLength: number;
    timestamp: number;
    success: boolean;
    error?: string;
}
declare class PerformanceMonitor {
    private metrics;
    private enabled;
    private maxMetrics;
    enable(): void;
    disable(): void;
    recordRender(metrics: RenderMetrics): void;
    private averages;
    getStats(): {
        totalRenders: number;
        cacheHits: number;
        cacheHitRate: string;
        workerCalls: number;
        directCalls: number;
        averageWorkerTime: string;
        averageDirectTime: string;
        averageCacheHitTime: string;
        workerSavings: string;
        recommendation: string;
    };
    printReport(): {
        totalRenders: number;
        cacheHits: number;
        cacheHitRate: string;
        workerCalls: number;
        directCalls: number;
        averageWorkerTime: string;
        averageDirectTime: string;
        averageCacheHitTime: string;
        workerSavings: string;
        recommendation: string;
    };
    reset(): void;
    exportMetrics(): {
        metrics: RenderMetrics[];
        stats: {
            totalRenders: number;
            cacheHits: number;
            cacheHitRate: string;
            workerCalls: number;
            directCalls: number;
            averageWorkerTime: string;
            averageDirectTime: string;
            averageCacheHitTime: string;
            workerSavings: string;
            recommendation: string;
        };
        timestamp: number;
    };
}
export declare const perfMonitor: PerformanceMonitor;
export declare function enablePerfMonitoring(): void;
export declare function disablePerfMonitoring(): void;
export declare function getPerfReport(): {
    totalRenders: number;
    cacheHits: number;
    cacheHitRate: string;
    workerCalls: number;
    directCalls: number;
    averageWorkerTime: string;
    averageDirectTime: string;
    averageCacheHitTime: string;
    workerSavings: string;
    recommendation: string;
};
export {};