import { Value } from "../value";
import { Core } from "../core";
import { Ctx } from "../ctx";
export declare function readback(ctx: Ctx, t: Value, value: Value): Core;
export interface ReadbackEtaExpansion {
    readback_eta_expansion(ctx: Ctx, value: Value): Core;
}
export declare const ReadbackEtaExpansion: {
    based_on(t: Value): t is Value & ReadbackEtaExpansion;
};