import { type TCliPremiseData, type TCliPremiseMeta } from "../schemata.js";
export declare function readPremiseMeta(argumentId: string, version: number, premiseId: string): Promise<TCliPremiseMeta>;
export declare function writePremiseMeta(argumentId: string, version: number, meta: TCliPremiseMeta): Promise<void>;
export declare function readPremiseData(argumentId: string, version: number, premiseId: string): Promise<TCliPremiseData>;
export declare function writePremiseData(argumentId: string, version: number, premiseId: string, data: TCliPremiseData): Promise<void>;
export declare function listPremiseIds(argumentId: string, version: number): Promise<string[]>;
export declare function deletePremiseDir(argumentId: string, version: number, premiseId: string): Promise<void>;
export declare function premiseExists(argumentId: string, version: number, premiseId: string): Promise<boolean>;
//# sourceMappingURL=premises.d.ts.map