import type { BindResult } from '../binder/binder.js';
import type { AstFile } from '../parser/ast.js';
import { DiagnosticBag } from '../diagnostics/diagnostic.js';
export interface CheckResult {
    readonly bag: DiagnosticBag;
}
export declare function checkTypes(files: readonly AstFile[], bindResult: BindResult): CheckResult;
//# sourceMappingURL=type-checker.d.ts.map