import type { Span } from "../span/index.js";
import { LangError } from "./LangError.js";
export declare class ElaborationError extends LangError {
    message: string;
    options: {
        span?: Span;
    };
    constructor(message: string, options: {
        span?: Span;
    });
    report(text?: string): string;
}
//# sourceMappingURL=ElaborationError.d.ts.map