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