import { type Program } from './types';
export interface TypeDiagnostic {
    severity: 'error' | 'warning';
    code: 'type-mismatch' | 'return-type-mismatch' | 'argument-type-mismatch';
    message: string;
    line: number;
}
export declare function runTypeChecks(program: Program): TypeDiagnostic[];
//# sourceMappingURL=type-checker.d.ts.map