import * as Exps from "../exp";
import { Mod } from "../mod";
import { Span } from "../span";
import { Stmt } from "../stmt";
export declare class Success extends Stmt {
    names: Array<string>;
    goals: Array<Exps.Goal>;
    span?: Span | undefined;
    constructor(names: Array<string>, goals: Array<Exps.Goal>, span?: Span | undefined);
    execute(mod: Mod): Promise<void>;
}