import { LangError } from "./LangError.js";
export declare class UnificationError extends LangError {
    message: string;
    trace: Array<string>;
    constructor(message: string);
}
//# sourceMappingURL=UnificationError.d.ts.map