import { Lambda } from "../reducer/lambda/index.js";
import { Value } from "../value/index.js";
import { InferredOutputType, TTypedLambda } from "./TTypedLambda.js";
import { Type } from "./Type.js";
export declare function inferOutputTypeByMultipleSignatures(signatures: TTypedLambda[], argTypes: Type[]): InferredOutputType;
export declare function inferOutputTypeByLambda(lambda: Lambda, argTypes: Type[]): InferredOutputType;
export declare function typeCanBeAssigned(type1: Type, type2: Type): boolean;
export declare function makeUnionAndSimplify(types: Type[]): Type;
export declare function typesAreEqual(type1: Type, type2: Type): boolean;
export declare function getValueType(value: Value): Type;
//# sourceMappingURL=helpers.d.ts.map