import type { ClingoError, OnModel, RunFunction } from "./run.js";
import type { Messages, Replies } from "./protocol.js";
/** Platform-independent view of a worker that runs clingo. */
export interface ClingoWorker {
    postMessage(message: Messages): void;
    onReply(handler: (reply: Replies) => void): void;
    onError(handler: (error: unknown) => void): void;
    terminate(): void | Promise<unknown>;
    /** Node only: hold or release the event loop. */
    ref?(): void;
    unref?(): void;
}
/**
 * The client API around a clingo worker, shared by the browser and Node entry
 * points: runs one program at a time, streams models to the caller, and can
 * abort a running solve by terminating the worker.
 */
export declare function createClient(spawn: () => ClingoWorker): {
    run: (program: string, models?: number | undefined, options?: string[] | undefined, onModel?: OnModel | undefined) => Promise<ReturnType<RunFunction>>;
    init: (wasmUrl?: string) => Promise<void>;
    restart: (wasmUrl?: string) => Promise<void>;
    stream: (program: string, models?: number, options?: string[]) => AsyncGenerator<import("./witnesses.js").Witness, import("./run.js").ClingoResult | ClingoError>;
};