import { Value } from "../value";
export declare type Solution = SolutionNull | SolutionCons;
export declare type SolutionNull = {
    kind: "SolutionNull";
};
export declare function SolutionNull(): SolutionNull;
export declare type SolutionCons = {
    kind: "SolutionCons";
    name: string;
    value: Value;
    rest: Solution;
};
export declare function SolutionCons(name: string, value: Value, rest: Solution): SolutionCons;