/**
 * Numeric Invariants: Arrow Function and Guard Proof Context
 *
 * REGRESSION TESTS: Arrow function and function expression parameter proofs
 *
 * These tests guard against the bug where arrow functions and function expressions
 * did not register their parameters in provenParameters, causing (n: int) => (n * 2) as int
 * to fail proof validation. This was the root cause of 3 E2E test failures:
 * - action-func-callbacks
 * - collections
 * - linq-dotnet
 *
 * Also covers guarded integer range branch proofs for function declarations.
 */
export {};
//# sourceMappingURL=arrow-function-proofs.test.d.ts.map