import { IRTerm } from "../../IRTerm.js";
export declare function getDebruijnInTerm(root: IRTerm, termToFind: IRTerm): number;