export {};
//# sourceMappingURL=prover.test.d.ts.map