import { Exp } from "../exp";
export declare type Goal = GoalApply | GoalUnifiable;
export declare type GoalApply = {
    kind: "GoalApply";
    name: string;
    arg: Exp;
};
export declare function GoalApply(name: string, arg: Exp): GoalApply;
export declare type GoalUnifiable = {
    kind: "GoalUnifiable";
    left: Exp;
    right: Exp;
};
export declare function GoalUnifiable(left: Exp, right: Exp): GoalUnifiable;