import "./numeric-proof-contract-cases/proof-and-diagnostics.test.js";
import "./numeric-proof-contract-cases/emitter-and-annotations.test.js";
//# sourceMappingURL=numeric-proof-contract.test.d.ts.map