import type { CompletedProviderToolCall } from "../checkpoint-codec.js";
import { type RequiredToolConstraint } from "./tool-constraint-types.js";
export declare function normalizeRequiredToolConstraint(input: RequiredToolConstraint): RequiredToolConstraint | undefined;
export declare function resolveUnresolvedToolConstraint(constraint: RequiredToolConstraint | undefined, completedToolCalls: CompletedProviderToolCall[]): RequiredToolConstraint | undefined;
//# sourceMappingURL=tool-requirement-algebra.d.ts.map