interface ProofOptions {
    json?: boolean;
    out?: string;
}
export declare function proofCommand(action?: string, target?: string, options?: ProofOptions): Promise<void>;
export {};
//# sourceMappingURL=proof.d.ts.map