import { IRTerm } from "../../IRTerm.js";
export type IRTermWithDepth = IRTerm & {
    depth: number;
};
export declare function defineDepth(term: IRTerm, depth: number): IRTermWithDepth;