import { Goal } from "../goal";
import { Subst } from "../subst";
export declare class GoalQueue {
    subst: Subst;
    goals: Array<Goal>;
    constructor(subst: Subst, goals: Array<Goal>);
    step(): Array<GoalQueue> | null;
}