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