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