import { IRTerm } from "../../IRTerm.js";
export declare function getDiffDbn(parentNode: IRTerm, childNode: IRTerm): number | undefined;