import type { StructuredError } from "../../errors/structured-errors.js";
import { type AstPatch } from "../../patch/apply.js";
export interface PatchResult {
    ok: boolean;
    errors?: StructuredError[];
    patchedAst?: unknown;
    /** Definitions that were re-verified by Z3 (incremental mode only) */
    rechecked?: string[];
    /** Definitions for which Z3 verification was skipped (incremental mode only) */
    skipped?: string[];
}
export declare function handlePatch(baseAst: unknown, patches: AstPatch[], returnAst?: boolean): Promise<PatchResult>;
//# sourceMappingURL=patch.d.ts.map