import { IRTerm } from "../../IRTerm.js";
/**
 * returns true if the term depends on *ANY* of the deBrujin indices specified
 */
export declare function dependsByDbns(term: IRTerm, depsDbns: readonly number[]): boolean;