import { type DataModel, type DataModelObjectField, type DataModelScalarField, type DataModelUniqueConstraint } from "../dataModel/types.js";
import { type Store } from "../store/store.js";
import { type UserModels } from "../userModels/types.js";
import { type GenerateCallbackContext, type ModelData, type ModelRecord } from "./types.js";
export declare function getInitialConstraints(dataModel: DataModel): {
    [k: string]: {
        [k: string]: Set<string>;
    };
};
type Constraints = ReturnType<typeof getInitialConstraints>;
/**
 * Shared context between checkConstraints and cartesianProduct
 */
interface Context {
    connectStore?: Store["_store"];
    generateFnCtx: (fieldName: string, counter: number) => GenerateCallbackContext;
    inputsData: ModelRecord;
    model: string;
    modelData: ModelData;
    modelSeed: string;
    userModels: UserModels;
}
export declare function checkConstraints(props: {
    constraintsStores: Constraints;
    parentFields: Array<DataModelObjectField>;
    scalarFields: Array<DataModelScalarField>;
    uniqueConstraints: Array<DataModelUniqueConstraint>;
} & Context): Promise<void>;
export {};