import * as ast from "../grammar/ast";
import { Diagnostic } from "../diagnostic";
import { RuleFactory } from "../linting-rule";
import { InputSource } from "../semantics/program";
export declare const typeMismatch: ((level: import("../diagnostic").DiagnosticSeverity, message: string, source: InputSource, range: ast.SourceRange) => Diagnostic) & {
    code: import("../diagnostic").DiagnosticCode;
};
export declare const type_check: RuleFactory;
export default type_check;