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

   # equivalent

   `equivalent` needs to handle eta-rules.

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