/// import { PermanentProver } from "./permanentProver"; import * as stream from "stream"; import { Server } from "../../../../server"; export declare class Prover extends stream.Transform { permaProver: PermanentProver; constructor(server: Server); _write(obj: any, enc: any, done: any): void; startService(): Promise; stopService(): Promise; }