import type { Ctx } from "../ctx/index.js";
import type { Mod } from "../mod/index.js";
import { type Value } from "../value/index.js";
export declare function unifyType(mod: Mod, ctx: Ctx, left: Value, right: Value): void;
//# sourceMappingURL=unifyType.d.ts.map