import type { Mod } from "../../mod/index.js";
import type { Span } from "../../span/index.js";
import { Stmt } from "../../stmt/index.js";
import { type Equation, SolveBinding } from "../solve/index.js";
export declare class Solve extends Stmt {
    bindings: Array<SolveBinding>;
    equations: Array<Equation>;
    span?: Span | undefined;
    constructor(bindings: Array<SolveBinding>, equations: Array<Equation>, span?: Span | undefined);
    execute(mod: Mod): Promise<string>;
}
//# sourceMappingURL=Solve.d.ts.map