Encodings (mavkit-evm-node-libs.Evm_node_lib

type eval_result = {

state_hash : string;
status : string;
output : unit;
inbox_level : unit;
num_ticks : Z.t;
insights : bytes list;
(*
The simulation can ask to look at values on the state after the simulation.
*)

}

type insight_request =

| Pvm_state_key of string list
| Durable_storage_key of string list

type simulate_input = {

messages : string list;
reveal_pages : string list option;
insight_requests : insight_request list;
log_kernel_debug_file : string option;

}

val insight_request : 
  insight_request Mavryk_base.TzPervasives.Data_encoding.encoding

val simulate_input : 
  simulate_input Mavryk_base.TzPervasives.Data_encoding.encoding

val decode_data : 
  Evm_node_lib_dev_encoding.Rlp.item ->
  Evm_node_lib_dev_encoding.Ethereum_types.hash
    Mavryk_base.TzPervasives.tzresult

val decode_gas_used : 
  Evm_node_lib_dev_encoding.Rlp.item ->
  Evm_node_lib_dev_encoding.Ethereum_types.quantity
    Mavryk_base.TzPervasives.tzresult

val decode_execution_result : 
  Evm_node_lib_dev_encoding.Rlp.item ->
  execution_result Mavryk_base.TzPervasives.tzresult

val decode_call_result : 
  Evm_node_lib_dev_encoding.Rlp.item ->
  (execution_result, Evm_node_lib_dev_encoding.Ethereum_types.hash)
    Stdlib.result
    Mavryk_base.TzPervasives.tzresult

val decode_validation_result : 
  Evm_node_lib_dev_encoding.Rlp.item ->
  validation_result Mavryk_base.TzPervasives.tzresult

val simulation_result_from_rlp : 
  (Evm_node_lib_dev_encoding.Rlp.item -> 'a Mavryk_base.TzPervasives.tzresult) ->
  bytes ->
  (('a, string) Stdlib.result, Mavryk_base.TzPervasives.tztrace) Stdlib.result

val eval_result : eval_result Mavryk_base.TzPervasives.Data_encoding.encoding