import { IRTerm } from "../../../IRTerm.js";
import { IRLetted } from "../../../IRNodes/IRLetted.js";
/**
 *  add 1 to every var's DeBruijn that accesses stuff outside the parent node
 *  not including the `parentNode` node
 *  since the new function introdcued substituting the letted term
 *  is added inside the `parentNode` node
**/
export declare function incrementUnboundDbns(theTerm: IRTerm, shouldNotModifyLetted: (letted: IRLetted, dbn: number) => boolean): void;