Documentation
EvmYul
.
Semantics
Search
return to top
source
Imports
Init
EvmYul.MachineStateOps
EvmYul.Operations
EvmYul.SharedStateOps
EvmYul.StateOps
EvmYul.UInt256
EvmYul.Wheels
EvmYul.EVM.Exception
EvmYul.EVM.PrimOps
EvmYul.EVM.State
EvmYul.EVM.StateOps
EvmYul.SpongeHash.Keccak256
EvmYul.Yul.Ast
EvmYul.Yul.Exception
EvmYul.Yul.PrimOps
EvmYul.Yul.State
EvmYul.Yul.StateOps
Imported by
EvmYul
.
step
source
def
EvmYul
.
step
{
τ
:
OperationType
}
(
op
:
Operation
τ
)
:
EvmYul.Transformer✝
τ
Instances For