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

   # readbackByType

   The eta-expansion can be implemented here.

   But due to the use of `readback` during elaboration,
   performing eta-expansion is not a desired role of `readback`.

**/
export declare function readbackByType(mod: Mod, ctx: Ctx, type: Value, value: Value): Core | undefined;
//# sourceMappingURL=readbackByType.d.ts.map