Documentation

EvmYul.State.SubstateOps

source
def EvmYul.Substate.addAccessedAccount (self : Substate) (addr : AccountAddress) :
Substate
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def EvmYul.Substate.addAccessedStorageKey (self : Substate) (sk : AccountAddress × UInt256) :
    Substate
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For