import type { CallbackRegistry } from './callback-registry.js';
import type { UnsafeZ3Api, EmscriptenModule, Z3_context, Z3_solver, UserPropagatorCallbacks, Disposer } from './types.js';
/**
 * Shared error channel between callback wrappers and solveSync.
 * When a callback throws, the error is stored here and Z3_interrupt
 * is called to stop the solver. solveSync checks this after Z3 returns
 * and re-throws the original error.
 */
export interface CallbackErrorChannel {
    error: unknown | null;
}
export declare function attachUserPropagator<S>(mod: EmscriptenModule, raw: UnsafeZ3Api, registry: CallbackRegistry, ctx: Z3_context, solver: Z3_solver, initialState: S, callbacks: UserPropagatorCallbacks<S>, errorChannel: CallbackErrorChannel): Disposer;
//# sourceMappingURL=user-propagator.d.ts.map