export declare function recordTouchedFile(touchedFiles: string[], toolInputJson: string): void;