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