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";
/**

   # readback

   Note that we view "readback" as one word,
   thus we write `readback` instead of `readBack`.

   We will use `readback` to implement `equivalent` between values.

   Be careful about the order of arguments of `readback`,
   first the `type`, then the `value`.

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