import type { Ctx } from "../ctx/index.js";
import type { Mod } from "../mod/index.js";
import type { Value } from "../value/index.js";
/**

   # unify

   `unify` will be used during elaboration (`check` and `infer`),
   to support features like `PiImplicit`.

   The recursion structure of `unify` closely follows `readback`,
   but dealing with two values in each step.

**/
export declare function unify(mod: Mod, ctx: Ctx, type: Value, left: Value, right: Value): void;
//# sourceMappingURL=unify.d.ts.map