import { Value } from "../value";
export declare type Goal = Apply | Unifiable;
export declare type Apply = {
    family: "Goal";
    kind: "Apply";
    name: string;
    arg: Value;
};
export declare function Apply(name: string, arg: Value): Apply;
export declare type Unifiable = {
    family: "Goal";
    kind: "Unifiable";
    left: Value;
    right: Value;
};
export declare function Unifiable(left: Value, right: Value): Unifiable;