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