/** @jest-environment node */
export {};
//# sourceMappingURL=proof-tests.d.ts.map