evm v0.1.4 EVM.Interface.ContractInterface protocol
Interface for interacting with a contract.
Link to this section Summary
Link to this section Types
Link to this section Functions
Link to this function
message_call(t, state, sender, originator, recipient, contract, available_gas, gas_price, value, apparent_value, data, stack_depth, block_header)
message_call(t, EVM.state, EVM.address, EVM.address, EVM.address, EVM.address, EVM.Gas.t, EVM.Gas.gas_price, EVM.Wei.t, EVM.Wei.t, binary, integer, Header.t) :: {EVM.state, EVM.Gas.t, EVM.SubState.t, EVM.VM.output}