import type { Value } from "../value/index.js";
export type Ctx = CtxNull | CtxCons | CtxFulfilled;
export type CtxNull = {
    "@kind": "CtxNull";
};
export declare function CtxNull(): CtxNull;
export type CtxCons = {
    "@kind": "CtxCons";
    name: string;
    type: Value;
    rest: Ctx;
};
export declare function CtxCons(name: string, type: Value, rest: Ctx): CtxCons;
export type CtxFulfilled = {
    "@kind": "CtxFulfilled";
    name: string;
    type: Value;
    value: Value;
    rest: Ctx;
};
export declare function CtxFulfilled(name: string, type: Value, value: Value, rest: Ctx): CtxFulfilled;
//# sourceMappingURL=Ctx.d.ts.map