export declare function runScillaChecker(contracts: any, libdir: any): Promise<void>;
//# sourceMappingURL=ScillaChecker.d.ts.map