import { IRRecursive } from "../../../IRNodes/IRRecursive.js";
import { IRTerm } from "../../../IRTerm.js";
import { IRApp } from "../../../IRNodes/index.js";
export type RecursiveIRNode = IRRecursive | IRApp;
export declare function findHighestRecursiveParent(term: IRTerm, maxScope: IRTerm): RecursiveIRNode | undefined;