import { IRTerm } from "../../IRTerm.js";
export declare function replaceHoistedWithLetted(term: IRTerm): void;