import type { IRTerm } from "../../IRTerm.js";
export declare function getDepthInMaxScope(term: IRTerm, maxScope: IRTerm): number | undefined;
export declare function lowestCommonAncestor(n1: IRTerm | undefined, n2: IRTerm | undefined, maxScope: IRTerm): IRTerm | undefined;