import { IRApp } from "../IRNodes/index.js";
import { IRTerm } from "../IRTerm.js";
export declare function _ir_let(value: IRTerm, body: IRTerm): IRApp;