import { type Environment } from "../env";
import type { FunctionType, Type } from "./definitions";
export declare function areTypesCompatible(expected: {
    type: Type;
    env: Environment;
}, given: {
    type: Type;
    env: Environment;
}, requireExactMatch?: boolean, visitedPairs?: Set<string>): boolean;
export declare function areFunctionTypesCompatible(expected: {
    type: FunctionType;
    env: Environment;
}, given: {
    type: FunctionType;
    env: Environment;
}, requireExactMatch?: boolean, visitedPairs?: Set<string>): boolean;
