export type TypeCheckDiagnostic = {
    severity: "error" | "warning";
    message: string;
    loc?: {
        line: number;
        col: number;
        start: number;
        end: number;
    };
    variableName?: string;
    expectedType?: string;
    actualType?: string;
};
export type TypeCheckReport = {
    errors: TypeCheckDiagnostic[];
    warnings: TypeCheckDiagnostic[];
};
export declare function typeCheckSource(source: string, sourcePath?: string): TypeCheckReport;
