export declare function writeTypeDef(): void;