export declare class ProofModule {
}