export declare function recordRetrieval(phrenPath: string, file: string, section: string): void;