import type { Exp } from "../../exp/index.js";
export type SolveBinding = {
    name: string;
    type: Exp;
};
export declare function SolveBinding(name: string, type: Exp): SolveBinding;
//# sourceMappingURL=SolveBinding.d.ts.map