import { type Constraint } from "./constraint.js";
import { Maybe } from "./maybe.js";
import type { ValueOfVariable, Variable } from "./variable.js";
export type ValueMap<VM extends Record<string, Variable<unknown>>> = {
    readonly [N in keyof VM]: ValueOfVariable<VM[N]>;
};
export type VariableCompositeSpec<T, VM extends Record<string, Variable<unknown>>> = {
    readonly variables: VM;
    readonly resolve: (values: ValueMap<VM>) => T;
    readonly constraints: Constraint<T>[];
};
export type VariableComposite<T, VM extends Record<string, Variable<unknown>>> = {
    readonly spec: VariableCompositeSpec<T, VM>;
    readonly value: () => Maybe<T>;
};
export declare function createVariableComposite<T, VM extends Record<string, Variable<unknown>>>(spec: VariableCompositeSpec<T, VM>): VariableComposite<T, VM>;
export declare class VariableCompositeError extends Error {
    readonly blame: Map<Variable<unknown>, Error>;
    constructor(message: string, blame: Map<Variable<unknown>, Error>);
}
export declare class PartialVariableCompositeError extends VariableCompositeError {
    readonly setNames: string[];
    readonly unsetNames: string[];
    readonly blame: Map<Variable<unknown>, Error>;
    constructor(setNames: string[], unsetNames: string[], blame: Map<Variable<unknown>, Error>);
}