import type { Exp } from "../../exp/index.js";
import type { Span } from "../../span/index.js";
export type Equation = EquationUnifyTyped | EquationUnify;
export type EquationUnifyTyped = {
    "@kind": "EquationUnifyTyped";
    left: Exp;
    right: Exp;
    type: Exp;
    span?: Span;
};
export declare function EquationUnifyTyped(left: Exp, right: Exp, type: Exp, span?: Span): EquationUnifyTyped;
export type EquationUnify = {
    "@kind": "EquationUnify";
    left: Exp;
    right: Exp;
    span?: Span;
};
export declare function EquationUnify(left: Exp, right: Exp, span?: Span): EquationUnify;
//# sourceMappingURL=Equation.d.ts.map