{"version":3,"file":"emitter-and-annotations.test.d.ts","sourceRoot":"","sources":["../../../src/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}