export declare function TypeCheck(): Promise<void>;