/**
 * Validation for `<gen type="number">` attributes.
 */
import { type Diagnostic } from '../errors/index.js';
import type { OpenCloseElementContext, SelfClosingElementContext } from '../generated/TDCParser.js';
export declare function checkGenNumber(gen: OpenCloseElementContext | SelfClosingElementContext, diagnostics: Diagnostic[], 
/** Every sequence declared before this one — a parameter may only read those. */
declaredAbove?: readonly string[]): void;
//# sourceMappingURL=number.d.ts.map