import { IRTerm } from "../../IRTerm.js";
export declare function isClosedAtDbn(term: IRTerm, dbn?: number): boolean;