import { Goal } from "../goal";
import { GoalQueue } from "../goal-queue";
import { Table } from "../table";
import { Logical } from "../value";
import { Subst } from "../subst";
export declare class Relation<T> extends Goal {
    table: Table<T>;
    data: Logical<T>;
    constructor(opts: {
        table: Table<T>;
        data: Logical<T>;
    });
    evaluate(subst: Subst): Array<GoalQueue>;
}