github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs/Burn.Eth.md (about)

     1  # `Burn.Eth` Invariants
     2  
     3  ## `eth(uint256)` always burns the exact amount of eth passed.
     4  **Test:** [`Burn.Eth.t.sol#L66`](../test/invariants/Burn.Eth.t.sol#L66)
     5  
     6  Asserts that when `Burn.eth(uint256)` is called, it always burns the exact amount of ETH passed to the function.