import { IRTerm } from "../IRTerm.js";
export declare function isClosedIRTerm(term: IRTerm): boolean;