export declare function writeTypeScriptTypeToDisk(): void;