import { IRTerm } from "../../IRTerm.js";
export declare function iterTree(_term: IRTerm, fn: (elem: IRTerm, dbn: number) => (boolean | undefined | void), shouldSkipNode?: (elem: IRTerm, dbn: number) => boolean, shouldExit?: (elem: IRTerm, dbn: number) => boolean): void;