structure EvmYul.SharedStateextends EvmYul.State, EvmYul.MachineState : Type

• accountMap : AccountMap
• σ₀ : AccountMap
• totalGasUsedInBlock : ℕ
• transactionReceipts : Array TransactionReceipt
• substate : Substate
• executionEnv : ExecutionEnv
• blocks : ProcessedBlocks
• genesisBlockHeader : BlockHeader
• createdAccounts : Batteries.RBSet AccountAddress compare
• gasAvailable : UInt256
• activeWords : UInt256
• memory : ByteArray
• returnData : ByteArray
• H_return : ByteArray

instance EvmYul.instInhabitedSharedState : Inhabited SharedState

Equations

• EvmYul.instInhabitedSharedState = { default := { toState := default, toMachineState := default } }