import { Goal } from "../goal";
import { GoalQueue } from "../goal-queue";
import { Subst } from "../subst";
export declare class Or extends Goal {
    goals: Array<Goal>;
    constructor(goals: Array<Goal>);
    static create(...goals: Array<Goal>): Or;
    evaluate(subst: Subst): Array<GoalQueue>;
}