@hyperlane-xyz/core/dependencies/@eth-optimism-contracts-0.6.0/packages/contracts-bedrock/invariant-docs/Burn.Eth.md

Core solidity contracts for Hyperlane

# `Burn.Eth` Invariants

## `eth(uint256)` always burns the exact amount of eth passed.
**Test:** [`Burn.Eth.t.sol#L68`](../contracts/test/invariants/Burn.Eth.t.sol#L68)

Asserts that when `Burn.eth(uint256)` is called, it always burns the exact amount of ETH passed to the function.