import type { ReclProgram } from '../parser/rcl.js';
import { DiagnosticCollector } from '../diagnostics/collector.js';
export type PicKind = 'string' | 'numeric' | 'decimal' | 'date' | 'url' | 'percent' | 'group' | 'unknown';
export interface Symbol {
    name: string;
    kind: PicKind;
    maxLength: number;
    isGroup: boolean;
    children: Symbol[];
    rawPic: string;
    comment?: string;
}
export type ValueExpectation = 'string' | 'url' | 'group' | 'none' | 'any';
export interface ElementContract {
    accepts: ValueExpectation;
    requiresUsing: boolean;
    requiresClick: boolean;
    requiresHref: boolean;
    description: string;
}
export declare const BUILT_IN_ELEMENTS: Record<string, ElementContract>;
export interface TypeCheckOptions {
    strict: boolean;
}
export declare function typeCheck(program: ReclProgram, file: string, opts?: TypeCheckOptions): DiagnosticCollector;
//# sourceMappingURL=index.d.ts.map