/**
 * Contract Test: Numeric Proof System (Behavioral)
 */
export {};
//# sourceMappingURL=proof-and-diagnostics.test.d.ts.map