export interface ResolvedFormalSpecConfiguration {
    mode: boolean;
    comments: boolean;
    modelCheckTimeoutSeconds: number;
}
export declare function resolveFormalSpecConfigurationWithoutPrompt(projectDir: string): ResolvedFormalSpecConfiguration;
export declare function resolveFormalSpecConfiguration(projectDir: string): Promise<ResolvedFormalSpecConfiguration>;
export declare function resolveFormalSpecModeWithoutPrompt(projectDir: string): boolean;
export declare function resolveFormalSpecMode(projectDir: string): Promise<boolean>;
export declare function resolveFormalSpecCommentsWithoutPrompt(projectDir: string): boolean;
//# sourceMappingURL=taskInstructionFormat.d.ts.map