import type { AsyncRunFunction, ClingoError, ClingoResult } from "./run.js";
import type { Witness } from "./witnesses.js";
/**
 * Wraps a run function into an async generator that yields each model as it
 * is found and returns the final result.
 */
export declare function makeStream(run: AsyncRunFunction): (program: string, models?: number, options?: string[]) => AsyncGenerator<Witness, ClingoResult | ClingoError>;