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